Anne is kind. Anne is not nice. Anne is not red. Gary is big. Gary is blue. Gary is kind. Gary is red. If something is big then it is not furry. If something is kind and rough then it is red. If Anne is kind and Anne is nice then Anne is furry. All blue things are kind. If something is rough and red then it is big. If something is rough and big then it is nice.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not nice.
("Anne" "is" "nice" "-")
Anne is not red.
("Anne" "is" "red" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is big then it is not furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "-"))
If something is kind and rough then it is red.
((("something" "is" "kind" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If Anne is kind and Anne is nice then Anne is furry.
((("Anne" "is" "kind" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "furry" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
If something is rough and red then it is big.
((("something" "is" "rough" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
If something is rough and big then it is nice.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Gary is red.
True
1
proof
[(triple7)]
("Gary" "is" "red" "+")
triple7
Gary is not kind.
False
1
inv-proof
[(triple6 OR ((triple5) -> rule4))]
("Gary" "is" "kind" "-")
triple6
((triple5) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not furry.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Gary is furry.
False
2
inv-proof
[(((triple4) -> rule1))]
("Gary" "is" "furry" "+")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "big" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is not red.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6 OR ((triple5) -> rule4))] Gary is red.[(triple7)] @1: Gary is not furry.[(((triple4) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is not nice.
("Anne" "is" "nice" "-")
triple2
Anne is not red.
("Anne" "is" "red" "-")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((triple5) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is not furry.
("Gary" "is" "furry" "-")
((triple4) -> (rule1 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1