Bob is not big. Bob is not green. Bob is not red. Bob is not rough. Bob is round. Bob is white. Gary is big. Gary is not furry. Gary is green. Gary is red. Gary is not rough. Gary is round. Harry is not green. Harry is round. Harry is white. Furry people are round. Green, round people are white. If someone is red and not round then they are rough. If Gary is rough and Gary is round then Gary is not red. If someone is round and not white then they are big. Rough people are not big.
Bob is not big.
("Bob" "is" "big" "-")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not red.
("Bob" "is" "red" "-")
Bob is not rough.
("Bob" "is" "rough" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is round.
("Gary" "is" "round" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry people are round.
((("someone" "is" "furry" "+")) -> ("someone" "is" "round" "+"))
Green, round people are white.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If someone is red and not round then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "rough" "+"))
If Gary is rough and Gary is round then Gary is not red.
((("Gary" "is" "rough" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "red" "-"))
If someone is round and not white then they are big.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "big" "+"))
Rough people are not big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Harry is not round.
False
1
inv-proof
[(triple14)]
("Harry" "is" "round" "-")
triple14
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is not big.[(triple1)] Bob is not green.[(triple2)] Bob is not red.[(triple3)] Bob is not rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple9)] Gary is not furry.[(triple8)] Gary is not rough.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple12)] Harry is not green.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Gary is white.[(((triple9 triple12) -> rule2))]
Bob is not big.
("Bob" "is" "big" "-")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is not rough.
("Bob" "is" "rough" "-")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is not furry.
("Gary" "is" "furry" "-")
triple8
Gary is not rough.
("Gary" "is" "rough" "-")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple13
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
((triple9 triple12) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1