Gary is blue. Harry is red. Harry is young. If something is red then it is nice. Young, round things are big. If Harry is round and Harry is nice then Harry is red. All blue things are big. If Gary is blue then Gary is nice. If Harry is green then Harry is blue. Big, green things are nice. Nice things are blue.
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
Young, round things are big.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
If Harry is round and Harry is nice then Harry is red.
((("Harry" "is" "round" "+") ("Harry" "is" "nice" "+")) -> ("Harry" "is" "red" "+"))
All blue things are big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
If Gary is blue then Gary is nice.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "nice" "+"))
If Harry is green then Harry is blue.
((("Harry" "is" "green" "+")) -> ("Harry" "is" "blue" "+"))
Big, green things are nice.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
Nice things are blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Harry is red.
True
1
proof
[(triple2)]
("Harry" "is" "red" "+")
triple2
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Gary is big.
True
2
proof
[(((triple1) -> rule4))]
("Gary" "is" "big" "+")
((triple1) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("Gary" "is" "big" "-")
((triple1) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Harry is blue.
True
3
proof
[(((((triple2) -> rule1)) -> rule8))]
("Harry" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not blue.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule8))]
("Harry" "is" "blue" "-")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Gary is blue.[(triple1)] Harry is red.[(triple2)] Harry is young.[(triple3)] @1: Gary is big.[(((triple1) -> rule4))] Gary is nice.[(((triple1) -> rule5))] Harry is nice.[(((triple2) -> rule1))] @2: Harry is blue.[(((((triple2) -> rule1)) -> rule8))] @3: Harry is big.[(((((((triple2) -> rule1)) -> rule8)) -> rule4))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Harry is red.
("Harry" "is" "red" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
((triple1) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple1) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple2) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((((triple2) -> (rule1 % int2))) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((((triple2) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3