Charlie is blue. Charlie is furry. Charlie is red. Erin is cold. Erin is furry. Erin is white. Gary is furry. Gary is quiet. Gary is red. Gary is white. If Charlie is white then Charlie is quiet. All rough, cold people are furry. If someone is white and red then they are rough. Cold people are rough. If Charlie is blue and Charlie is quiet then Charlie is furry. All red people are furry. All cold people are white. All rough people are white.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
If Charlie is white then Charlie is quiet.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "quiet" "+"))
All rough, cold people are furry.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
If someone is white and red then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If Charlie is blue and Charlie is quiet then Charlie is furry.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "furry" "+"))
All red people are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All rough people are white.
((("someone" "is" "rough" "+")) -> ("someone" "is" "white" "+"))
Charlie is blue.
True
1
proof
[(triple1)]
("Charlie" "is" "blue" "+")
triple1
Erin is not cold.
False
1
inv-proof
[(triple4)]
("Erin" "is" "cold" "-")
triple4
Gary is rough.
True
3
proof
[(((triple10 triple9) -> rule3))]
("Gary" "is" "rough" "+")
((triple10 triple9) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple4) -> rule4))]
("Erin" "is" "rough" "-")
((triple4) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Charlie is not rough.
Unknown
inv-rconc
[@3: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- rule8 <- rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is quiet.
Unknown
rconc
[@4: Charlie is quiet.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule3 <- rule7 <- FAIL)]]
("Charlie" "is" "quiet" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is blue.[(triple1)] Charlie is furry.[(triple2 OR ((triple3) -> rule6))] Charlie is red.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5 OR ((((triple4) -> rule4) triple4) -> rule2))] Erin is white.[(triple6 OR ((triple4) -> rule7) OR ((((triple4) -> rule4)) -> rule8))] Gary is furry.[(triple7 OR ((triple9) -> rule6))] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is white.[(triple10)] @1: Erin is rough.[(((triple4) -> rule4))] Gary is rough.[(((triple10 triple9) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
((triple3) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((((triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple4) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule8 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple7
((triple9) -> (rule6 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple10 triple9) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1