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