Gary is green. Gary is quiet. Gary is red. Gary is white. Gary is young. Harry is green. Harry is white. All green, red things are round. All white things are red.
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is white.
("Harry" "is" "white" "+")
All green, red things are round.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
All white things are red.
((("something" "is" "white" "+")) -> ("something" "is" "red" "+"))
Gary is quiet.
True
1
proof
[(triple2)]
("Gary" "is" "quiet" "+")
triple2
Harry is not white.
False
1
inv-proof
[(triple7)]
("Harry" "is" "white" "-")
triple7
Gary is round.
True
3
proof
[(((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))]
("Gary" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple1 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is not round.
False
3
inv-proof
[(((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))]
("Gary" "is" "round" "-")
((triple1 triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple1 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Harry is round.
True
4
proof
[(((triple6 ((triple7) -> rule2)) -> rule1))]
("Harry" "is" "round" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not round.
False
4
inv-proof
[(((triple6 ((triple7) -> rule2)) -> rule1))]
("Harry" "is" "round" "-")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Gary is green.[(triple1)] Gary is quiet.[(triple2)] Gary is red.[(triple3 OR ((triple4) -> rule2))] Gary is white.[(triple4)] Gary is young.[(triple5)] Harry is green.[(triple6)] Harry is white.[(triple7)] @1: Gary is round.[(((triple1 triple3) -> rule1) OR ((triple1 ((triple4) -> rule2)) -> rule1))] Harry is red.[(((triple7) -> rule2))] @2: Harry is round.[(((triple6 ((triple7) -> rule2)) -> rule1))]
Gary is green.
("Gary" "is" "green" "+")
triple1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
((triple4) -> (rule2 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple4
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple1 triple3) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple1 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((triple7) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6 ((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2