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