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