Charlie is green. Charlie is red. Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is red. Fiona is blue. Fiona is cold. Fiona is nice. Gary is blue. Gary is green. Cold things are white. If something is blue and green then it is white. All red, cold things are blue. Big, nice things are cold. If something is blue and big then it is nice. Big, red things are green.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is green.
("Gary" "is" "green" "+")
Cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is blue and green then it is white.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
All red, cold things are blue.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Big, nice things are cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is blue and big then it is nice.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Big, red things are green.
((("something" "is" "big" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Gary is blue.
True
1
proof
[(triple11)]
("Gary" "is" "blue" "+")
triple11
Fiona is not nice.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "nice" "-")
triple10
Fiona is white.
True
2
proof
[(((triple9) -> rule1))]
("Fiona" "is" "white" "+")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is not white.
False
3
inv-proof
[(((triple11 triple12) -> rule2))]
("Gary" "is" "white" "-")
((triple11 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Charlie is green.[(triple1)] Charlie is red.[(triple2)] Dave is big.[(triple3)] Dave is blue.[(triple4 OR ((triple7 triple5) -> rule3) OR ((triple7 ((triple3 triple6) -> rule4)) -> rule3))] Dave is cold.[(triple5 OR ((triple3 triple6) -> rule4) OR ((triple3 ((triple4 triple3) -> rule5)) -> rule4))] Dave is nice.[(triple6 OR ((triple4 triple3) -> rule5) OR ((((triple7 triple5) -> rule3) triple3) -> rule5))] Dave is red.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Gary is blue.[(triple11)] Gary is green.[(triple12)] @1: Dave is green.[(((triple3 triple7) -> rule6))] Dave is white.[(((triple5) -> rule1) OR ((((triple3 triple6) -> rule4)) -> rule1) OR ((triple4 ((triple3 triple7) -> rule6)) -> rule2) OR ((((triple7 triple5) -> rule3) ((triple3 triple7) -> rule6)) -> rule2) OR ((((triple3 ((triple4 triple3) -> rule5)) -> rule4)) -> rule1) OR ((((triple7 ((triple3 triple6) -> rule4)) -> rule3) ((triple3 triple7) -> rule6)) -> rule2))] Fiona is white.[(((triple9) -> rule1))] Gary is white.[(((triple11 triple12) -> rule2))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple4
((triple7 triple5) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple7 ((triple3 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
triple5
((triple3 triple6) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
((triple3 ((triple4 triple3) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple6
((triple4 triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
((((triple7 triple5) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
((triple3 triple7) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple3 triple6) -> (rule4 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
((triple4 ((triple3 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple7 triple5) -> (rule3 % int3)) ((triple3 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple3 ((triple4 triple3) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
((((triple7 ((triple3 triple6) -> (rule4 % int4))) -> (rule3 % int3)) ((triple3 triple7) -> (rule6 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((triple9) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple11 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1