Bob is big. Fiona is blue. Gary is round. Gary is white. Harry is not big. Harry is not white. Harry is young. If something is young then it is not round. If something is young then it is not white. If Gary is furry and Gary is young then Gary is not white.
Bob is big.
("Bob" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is not big.
("Harry" "is" "big" "-")
Harry is not white.
("Harry" "is" "white" "-")
Harry is young.
("Harry" "is" "young" "+")
If something is young then it is not round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "-"))
If something is young then it is not white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "-"))
If Gary is furry and Gary is young then Gary is not white.
((("Gary" "is" "furry" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "white" "-"))
Gary is white.
True
1
proof
[(triple4)]
("Gary" "is" "white" "+")
triple4
Gary is not round.
False
1
inv-proof
[(triple3)]
("Gary" "is" "round" "-")
triple3
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is big.[(triple1)] Fiona is blue.[(triple2)] Gary is round.[(triple3)] Gary is white.[(triple4)] Harry is not big.[(triple5)] Harry is not white.[(triple6 OR ((triple7) -> rule2))] Harry is young.[(triple7)] @1: Harry is not round.[(((triple7) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Gary is round.
("Gary" "is" "round" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
Harry is not big.
("Harry" "is" "big" "-")
triple5
Harry is not white.
("Harry" "is" "white" "-")
triple6
((triple7) -> (rule2 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is young.
("Harry" "is" "young" "+")
triple7
Harry is not round.
("Harry" "is" "round" "-")
((triple7) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1