Bob is furry. Bob is not round. Charlie is blue. Charlie is not nice. Charlie is rough. Dave is nice. Harry is not nice. Red things are blue. All red things are blue. If something is furry and nice then it is round. If something is rough then it is not red. If Harry is furry and Harry is not red then Harry is not round. If something is round and not rough then it is smart. If something is red and rough then it is smart. If Dave is blue and Dave is smart then Dave is round.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not round.
("Bob" "is" "round" "-")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is not nice.
("Charlie" "is" "nice" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All red things are blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If something is furry and nice then it is round.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is not red.
((("something" "is" "rough" "+")) -> ("something" "is" "red" "-"))
If Harry is furry and Harry is not red then Harry is not round.
((("Harry" "is" "furry" "+") ("Harry" "is" "red" "~")) -> ("Harry" "is" "round" "-"))
If something is round and not rough then it is smart.
((("something" "is" "round" "+") ("something" "is" "rough" "~")) -> ("something" "is" "smart" "+"))
If something is red and rough then it is smart.
((("something" "is" "red" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If Dave is blue and Dave is smart then Dave is round.
((("Dave" "is" "blue" "+") ("Dave" "is" "smart" "+")) -> ("Dave" "is" "round" "+"))
Charlie is not nice.
True
1
proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Charlie is nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "+")
triple4
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is furry.[(triple1)] Bob is not round.[(triple2)] Charlie is blue.[(triple3)] Charlie is not nice.[(triple4)] Charlie is rough.[(triple5)] Dave is nice.[(triple6)] Harry is not nice.[(triple7)] @1: Charlie is not red.[(((triple5) -> rule4))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is not nice.
("Charlie" "is" "nice" "-")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Harry is not nice.
("Harry" "is" "nice" "-")
triple7
Charlie is not red.
("Charlie" "is" "red" "-")
((triple5) -> (rule4 % int1))
Charlie is not red.
("Charlie" "is" "red" "-")
int1