Charlie is big. Charlie is red. Charlie is white. Charlie is young. Erin is big. Erin is cold. Erin is quiet. Erin is white. Erin is young. Gary is big. Gary is quiet. Gary is red. Gary is rough. Gary is white. Gary is young. If someone is big and white then they are rough. Red, rough people are young.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is big and white then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
Red, rough people are young.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Charlie is white.
True
1
proof
[(triple3)]
("Charlie" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple8)]
("Erin" "is" "white" "-")
triple8
Charlie is rough.
True
3
proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple1 triple3) -> rule1))]
("Charlie" "is" "rough" "-")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Erin is red.
Unknown
random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "+")
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 big.[(triple1)] Charlie is red.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4 OR ((triple2 ((triple1 triple3) -> rule1)) -> rule2))] Erin is big.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Erin is young.[(triple9)] Gary is big.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is rough.[(triple13 OR ((triple10 triple14) -> rule1))] Gary is white.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple13) -> rule2) OR ((triple12 ((triple10 triple14) -> rule1)) -> rule2))] @1: Charlie is rough.[(((triple1 triple3) -> rule1))] Erin is rough.[(((triple5 triple8) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
((triple2 ((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
triple8
Erin is young.
("Erin" "is" "young" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple10 triple14) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
((triple12 triple13) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 ((triple10 triple14) -> (rule1 % int2))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1 triple3) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple5 triple8) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1