Gary is blue. Gary is not furry. Gary is quiet. Gary is round. Gary is white. Harry is not kind. Harry is quiet. Harry is rough. Harry is not round. Harry is white. If someone is blue then they are rough.
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Harry is quiet.
True
1
proof
[(triple7)]
("Harry" "is" "quiet" "+")
triple7
Harry is not white.
False
1
inv-proof
[(triple10)]
("Harry" "is" "white" "-")
triple10
Gary is rough.
True
2
proof
[(((triple1) -> rule1))]
("Gary" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("Gary" "is" "rough" "-")
((triple1) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Gary is blue.[(triple1)] Gary is not furry.[(triple2)] Gary is quiet.[(triple3)] Gary is round.[(triple4)] Gary is white.[(triple5)] Harry is not kind.[(triple6)] Harry is not round.[(triple9)] Harry is quiet.[(triple7)] Harry is rough.[(triple8)] Harry is white.[(triple10)] @1: Gary is rough.[(((triple1) -> rule1))]
Gary is blue.
("Gary" "is" "blue" "+")
triple1
Gary is not furry.
("Gary" "is" "furry" "-")
triple2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple4
Gary is white.
("Gary" "is" "white" "+")
triple5
Harry is not kind.
("Harry" "is" "kind" "-")
triple6
Harry is not round.
("Harry" "is" "round" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is white.
("Harry" "is" "white" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
((triple1) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1