Erin is big. Erin is blue. Erin is quiet. Erin is not rough. Erin is white. Fiona is blue. Fiona is not young. Gary is blue. Gary is rough. Gary is white. Big, rough things are blue. If something is red and white then it is blue. Big things are blue. If Erin is white and Erin is young then Erin is blue. If Gary is quiet then Gary is young. Blue, young things are red. If something is quiet then it is young. If something is young then it is big.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Big, rough things are blue.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is red and white then it is blue.
((("something" "is" "red" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If Erin is white and Erin is young then Erin is blue.
((("Erin" "is" "white" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "blue" "+"))
If Gary is quiet then Gary is young.
((("Gary" "is" "quiet" "+")) -> ("Gary" "is" "young" "+"))
Blue, young things are red.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is young then it is big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Fiona is not young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Erin is young.
True
2
proof
[(((triple3) -> rule7))]
("Erin" "is" "young" "+")
((triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple3) -> rule7))]
("Erin" "is" "young" "-")
((triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
True
4
proof
[(((triple2 ((triple3) -> rule7)) -> rule6) OR ((((triple1) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple5 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule6) OR ((((((((triple3) -> rule7)) -> rule8)) -> rule3) ((triple3) -> rule7)) -> rule6))]
("Erin" "is" "red" "+")
((triple2 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple5 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((triple3) -> (rule7 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is not red.
False
4
inv-proof
[(((triple2 ((triple3) -> rule7)) -> rule6) OR ((((triple1) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple5 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule6) OR ((((((((triple3) -> rule7)) -> rule8)) -> rule3) ((triple3) -> rule7)) -> rule6))]
("Erin" "is" "red" "-")
((triple2 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple5 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((triple3) -> (rule7 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@2: Gary is big.[CWA. Example of deepest failure = (rule8 <- rule5 <- FAIL)]]
("Gary" "is" "big" "-")
Fiona is red.
Unknown
rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "red" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
@0: Erin is big.[(triple1 OR ((((triple3) -> rule7)) -> rule8))] Erin is blue.[(triple2 OR ((triple1) -> rule3) OR ((triple5 ((triple3) -> rule7)) -> rule4) OR ((((((triple3) -> rule7)) -> rule8)) -> rule3))] Erin is not rough.[(triple4)] Erin is quiet.[(triple3)] Erin is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is not young.[(triple7)] Gary is blue.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Erin is young.[(((triple3) -> rule7))] @2: Erin is red.[(((triple2 ((triple3) -> rule7)) -> rule6) OR ((((triple1) -> rule3) ((triple3) -> rule7)) -> rule6) OR ((((triple5 ((triple3) -> rule7)) -> rule4) ((triple3) -> rule7)) -> rule6) OR ((((((((triple3) -> rule7)) -> rule8)) -> rule3) ((triple3) -> rule7)) -> rule6))]
Erin is big.
("Erin" "is" "big" "+")
triple1
((((triple3) -> (rule7 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple1) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
((triple5 ((triple3) -> (rule7 % int2))) -> (rule4 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((((triple3) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not rough.
("Erin" "is" "rough" "-")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is not young.
("Fiona" "is" "young" "-")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is young.
("Erin" "is" "young" "+")
((triple3) -> (rule7 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple2 ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple1) -> (rule3 % int3)) ((triple3) -> (rule7 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
((((triple5 ((triple3) -> (rule7 % int3))) -> (rule4 % int2)) ((triple3) -> (rule7 % int3))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((((((((triple3) -> (rule7 % int4))) -> (rule8 % int3))) -> (rule3 % int2)) ((triple3) -> (rule7 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4