Anne is not blue. Anne is not furry. Anne is not nice. Anne is quiet. Anne is rough. Anne is white. Anne is not young. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is rough. Harry is furry. Harry is nice. Harry is quiet. Harry is rough. Harry is young. If Harry is rough and Harry is white then Harry is not blue. All furry, rough people are young.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is rough and Harry is white then Harry is not blue.
((("Harry" "is" "rough" "+") ("Harry" "is" "white" "+")) -> ("Harry" "is" "blue" "-"))
All furry, rough people are young.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Harry is rough.
True
1
proof
[(triple15)]
("Harry" "is" "rough" "+")
triple15
Harry is not furry.
False
1
inv-proof
[(triple12)]
("Harry" "is" "furry" "-")
triple12
Charlie is young.
True
3
proof
[(((triple9 triple11) -> rule2))]
("Charlie" "is" "young" "+")
((triple9 triple11) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
3
inv-proof
[(((triple9 triple11) -> rule2))]
("Charlie" "is" "young" "-")
((triple9 triple11) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is not blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not nice.[(triple3)] Anne is not young.[(triple7)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is white.[(triple6)] Charlie is blue.[(triple8)] Charlie is furry.[(triple9)] Charlie is nice.[(triple10)] Charlie is rough.[(triple11)] Harry is furry.[(triple12)] Harry is nice.[(triple13)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is young.[(triple16 OR ((triple12 triple15) -> rule2))] @1: Charlie is young.[(((triple9 triple11) -> rule2))]
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not nice.
("Anne" "is" "nice" "-")
triple3
Anne is not young.
("Anne" "is" "young" "-")
triple7
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is furry.
("Charlie" "is" "furry" "+")
triple9
Charlie is nice.
("Charlie" "is" "nice" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
triple11
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple12 triple15) -> (rule2 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple9 triple11) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1