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