Charlie is not furry. Charlie is not green. Charlie is kind. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Harry is furry. Harry is not green. Harry is white. All furry things are not rough.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is not green.
("Charlie" "is" "green" "-")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is white.
("Harry" "is" "white" "+")
All furry things are not rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "-"))
Harry is not green.
True
1
proof
[(triple9)]
("Harry" "is" "green" "-")
triple9
Harry is green.
False
1
inv-proof
[(triple9)]
("Harry" "is" "green" "+")
triple9
Harry is not rough.
True
2
proof
[(((triple8) -> rule1))]
("Harry" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Harry" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is kind.[(triple3)] Charlie is not furry.[(triple1)] Charlie is not green.[(triple2)] Charlie is red.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Harry is furry.[(triple8)] Harry is not green.[(triple9)] Harry is white.[(triple10)] @1: Harry is not rough.[(((triple8) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Charlie is not green.
("Charlie" "is" "green" "-")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Harry is not rough.
("Harry" "is" "rough" "-")
int1