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