Charlie is cold. Charlie is nice. Charlie is red. Charlie is young. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. Harry is blue. Harry is nice. Harry is quiet. Harry is round. All red, quiet people are blue. Round people are young. All red people are quiet.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
All red, quiet people are blue.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
Round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is nice.
True
1
proof
[(triple2)]
("Charlie" "is" "nice" "+")
triple2
Charlie is not nice.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "nice" "-")
triple2
Charlie is quiet.
True
2
proof
[(((triple3) -> rule3))]
("Charlie" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "quiet" "-")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is blue.
True
4
proof
[(((triple3 ((triple3) -> rule3)) -> rule1))]
("Charlie" "is" "blue" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((triple3 ((triple3) -> rule3)) -> rule1))]
("Charlie" "is" "blue" "-")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is red.[(triple3)] Charlie is young.[(triple4)] Fiona is blue.[(triple5 OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple7) -> rule3)) -> rule1))] Fiona is quiet.[(triple6 OR ((triple7) -> rule3))] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is round.[(triple12)] @1: Charlie is quiet.[(((triple3) -> rule3))] Fiona is young.[(((triple8) -> rule2))] Harry is young.[(((triple12) -> rule2))] @2: Charlie is blue.[(((triple3 ((triple3) -> rule3)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
((triple7 triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple7 ((triple7) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
((triple7) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3) -> (rule3 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple12) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple3 ((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2