Charlie is blue. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is white. Charlie is young. Gary is kind. Gary is quiet. Gary is white. Gary is young. Harry is blue. Harry is cold. Harry is kind. Harry is white. Harry is young. Blue, white people are quiet. Kind, quiet people are nice.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue, white people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Kind, quiet people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Gary is young.
True
1
proof
[(triple11)]
("Gary" "is" "young" "+")
triple11
Charlie is not quiet.
False
1
inv-proof
[(triple5 OR ((triple1 triple6) -> rule1))]
("Charlie" "is" "quiet" "-")
triple5
((triple1 triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is quiet.
True
3
proof
[(((triple12 triple15) -> rule1))]
("Harry" "is" "quiet" "+")
((triple12 triple15) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is not quiet.
False
3
inv-proof
[(((triple12 triple15) -> rule1))]
("Harry" "is" "quiet" "-")
((triple12 triple15) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
True
5
proof
[(((triple14 ((triple12 triple15) -> rule1)) -> rule2))]
("Harry" "is" "nice" "+")
((triple14 ((triple12 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is not nice.
False
5
inv-proof
[(((triple14 ((triple12 triple15) -> rule1)) -> rule2))]
("Harry" "is" "nice" "-")
((triple14 ((triple12 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4 OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple1 triple6) -> rule1)) -> rule2))] Charlie is quiet.[(triple5 OR ((triple1 triple6) -> rule1))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Gary is kind.[(triple8)] Gary is quiet.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is blue.[(triple12)] Harry is cold.[(triple13)] Harry is kind.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Gary is nice.[(((triple8 triple9) -> rule2))] Harry is quiet.[(((triple12 triple15) -> rule1))] @2: Harry is nice.[(((triple14 ((triple12 triple15) -> rule1)) -> rule2))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
((triple3 triple5) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 ((triple1 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple5
((triple1 triple6) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is kind.
("Harry" "is" "kind" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Gary is nice.
("Gary" "is" "nice" "+")
((triple8 triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple12 triple15) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple14 ((triple12 triple15) -> (rule1 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2