Anne is rough. Anne is round. Anne is smart. Bob is big. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. Dave is big. Dave is red. Harry is big. Harry is green. Harry is round. Harry is smart. If something is green and cold then it is red.
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is green and cold then it is red.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
Anne is rough.
True
1
proof
[(triple1)]
("Anne" "is" "rough" "+")
triple1
Bob is not round.
False
1
inv-proof
[(triple8)]
("Bob" "is" "round" "-")
triple8
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Anne is rough.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Bob is red.[(triple6)] Bob is rough.[(triple7)] Bob is round.[(triple8)] Bob is smart.[(triple9)] Dave is big.[(triple10)] Dave is red.[(triple11)] Harry is big.[(triple12)] Harry is green.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15)]
Anne is rough.
("Anne" "is" "rough" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is red.
("Bob" "is" "red" "+")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
triple8
Bob is smart.
("Bob" "is" "smart" "+")
triple9
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple11
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15