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