Bob is not red. Bob is not rough. Bob is young. Charlie is nice. Charlie is red. Charlie is not rough. Dave is not cold. Erin is blue. Erin is rough. Erin is young. All rough things are cold. If something is young then it is cold.
Bob is not red.
("Bob" "is" "red" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Dave is not cold.
("Dave" "is" "cold" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
If something is young then it is cold.
((("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
Charlie is nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Charlie is rough.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "rough" "+")
triple6
Bob is cold.
True
2
proof
[(((triple3) -> rule2))]
("Bob" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple9) -> rule1))]
("Erin" "is" "cold" "-")
((triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Bob is not red.[(triple1)] Bob is not rough.[(triple2)] Bob is young.[(triple3)] Charlie is nice.[(triple4)] Charlie is not rough.[(triple6)] Charlie is red.[(triple5)] Dave is not cold.[(triple7)] Erin is blue.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Bob is cold.[(((triple3) -> rule2))] Erin is cold.[(((triple10) -> rule2) OR ((triple9) -> rule1))]
Bob is not red.
("Bob" "is" "red" "-")
triple1
Bob is not rough.
("Bob" "is" "rough" "-")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Dave is not cold.
("Dave" "is" "cold" "-")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple10) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1