Anne is big. Anne is cold. Anne is not green. Anne is not kind. Anne is nice. Anne is round. Anne is white. Gary is not big. Gary is cold. Gary is green. Gary is kind. Gary is nice. Gary is round. Gary is not white. If someone is nice and big then they are cold.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Gary is not big.
("Gary" "is" "big" "-")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Anne is nice.
True
1
proof
[(triple5)]
("Anne" "is" "nice" "+")
triple5
Anne is not round.
False
1
inv-proof
[(triple6)]
("Anne" "is" "round" "-")
triple6
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5 triple1) -> rule1))] Anne is nice.[(triple5)] Anne is not green.[(triple3)] Anne is not kind.[(triple4)] Anne is round.[(triple6)] Anne is white.[(triple7)] Gary is cold.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is not big.[(triple8)] Gary is not white.[(triple14)] Gary is round.[(triple13)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple5 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is not green.
("Anne" "is" "green" "-")
triple3
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is not big.
("Gary" "is" "big" "-")
triple8
Gary is not white.
("Gary" "is" "white" "-")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple13