Gary is furry. Gary is green. Gary is smart. Harry is cold. Harry is furry. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is young. If Gary is smart and Gary is green then Gary is not round. If someone is smart and not cold then they are furry. Green people are white.
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
If Gary is smart and Gary is green then Gary is not round.
((("Gary" "is" "smart" "+") ("Gary" "is" "green" "+")) -> ("Gary" "is" "round" "-"))
If someone is smart and not cold then they are furry.
((("someone" "is" "smart" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "furry" "+"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Gary is smart.
True
1
proof
[(triple3)]
("Gary" "is" "smart" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple6)]
("Harry" "is" "green" "-")
triple6
Gary is not round.
True
3
proof
[(((triple3 triple2) -> rule1))]
("Gary" "is" "round" "-")
((triple3 triple2) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is round.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("Gary" "is" "round" "+")
((triple3 triple2) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Gary is furry.[(triple1)] Gary is green.[(triple2)] Gary is smart.[(triple3)] Harry is cold.[(triple4)] Harry is furry.[(triple5)] Harry is green.[(triple6)] Harry is round.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9 OR ((triple6) -> rule3))] Harry is young.[(triple10)] @1: Gary is not round.[(((triple3 triple2) -> rule1))] Gary is white.[(((triple2) -> rule3))]
Gary is furry.
("Gary" "is" "furry" "+")
triple1
Gary is green.
("Gary" "is" "green" "+")
triple2
Gary is smart.
("Gary" "is" "smart" "+")
triple3
Harry is cold.
("Harry" "is" "cold" "+")
triple4
Harry is furry.
("Harry" "is" "furry" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Harry is smart.
("Harry" "is" "smart" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple9
((triple6) -> (rule3 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple10
Gary is not round.
("Gary" "is" "round" "-")
((triple3 triple2) -> (rule1 % int1))
Gary is not round.
("Gary" "is" "round" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule3 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1