Anne is big. Anne is not green. Anne is kind. Anne is round. Anne is smart. Gary is nice. Gary is smart. If someone is kind and not big then they are round. Nice, smart people are round. If Anne is smart and Anne is green then Anne is kind. If Gary is big then Gary is round. If someone is round and nice then they are green. Kind people are not green. If Anne is smart then Anne is round. If someone is big then they are kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If someone is kind and not big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "round" "+"))
Nice, smart people are round.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
If Anne is smart and Anne is green then Anne is kind.
((("Anne" "is" "smart" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "kind" "+"))
If Gary is big then Gary is round.
((("Gary" "is" "big" "+")) -> ("Gary" "is" "round" "+"))
If someone is round and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Kind people are not green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "-"))
If Anne is smart then Anne is round.
((("Anne" "is" "smart" "+")) -> ("Anne" "is" "round" "+"))
If someone is big then they are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Anne is kind.
True
1
proof
[(triple3 OR ((triple1) -> rule8))]
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not kind.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule8))]
("Anne" "is" "kind" "-")
triple3
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Gary is round.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "round" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Gary" "is" "round" "-")
((triple6 triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
True
5
proof
[(((((triple6 triple7) -> rule2) triple6) -> rule5))]
("Gary" "is" "green" "+")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not green.
False
5
inv-proof
[(((((triple6 triple7) -> rule2) triple6) -> rule5))]
("Gary" "is" "green" "-")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple3 OR ((triple1) -> rule8))] Anne is not green.[(triple2 OR ((triple3) -> rule6) OR ((((triple1) -> rule8)) -> rule6))] Anne is round.[(triple4 OR ((triple5) -> rule7))] Anne is smart.[(triple5)] Gary is nice.[(triple6)] Gary is smart.[(triple7)] @1: Gary is round.[(((triple6 triple7) -> rule2))] @2: Gary is green.[(((((triple6 triple7) -> rule2) triple6) -> rule5))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple1) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not green.
("Anne" "is" "green" "-")
triple2
((triple3) -> (rule6 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
((((triple1) -> (rule8 % int2))) -> (rule6 % int1))
Anne is not green.
("Anne" "is" "green" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple4
((triple5) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
((triple6 triple7) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple6 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2