Bob is not big. Bob is not furry. Bob is red. Bob is smart. Dave is not cold. Dave is red. Harry is big. All big, smart people are not furry. All big people are not furry. If Bob is big then Bob is smart. All white, cold people are not big. Cold, smart people are not white. If Dave is furry then Dave is not red. If someone is furry and not cold then they are rough. If someone is big and not red then they are rough.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is red.
("Dave" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
All big, smart people are not furry.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "-"))
All big people are not furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "-"))
If Bob is big then Bob is smart.
((("Bob" "is" "big" "+")) -> ("Bob" "is" "smart" "+"))
All white, cold people are not big.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "-"))
Cold, smart people are not white.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "white" "-"))
If Dave is furry then Dave is not red.
((("Dave" "is" "furry" "+")) -> ("Dave" "is" "red" "-"))
If someone is furry and not cold then they are rough.
((("someone" "is" "furry" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
If someone is big and not red then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "rough" "+"))
Bob is smart.
True
1
proof
[(triple4)]
("Bob" "is" "smart" "+")
triple4
Dave is not red.
False
1
inv-proof
[(triple6)]
("Dave" "is" "red" "-")
triple6
Dave is not rough.
Unknown
inv-rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Bob is not big.[(triple1)] Bob is not furry.[(triple2)] Bob is red.[(triple3)] Bob is smart.[(triple4)] Dave is not cold.[(triple5)] Dave is red.[(triple6)] Harry is big.[(triple7)] @1: Harry is not furry.[(((triple7) -> rule2))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not furry.
("Bob" "is" "furry" "-")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is not furry.
("Harry" "is" "furry" "-")
((triple7) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1