Anne is blue. Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Dave is blue. Dave is green. Dave is kind. Dave is nice. Dave is red. Green things are furry.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Dave is nice.
True
1
proof
[(triple11)]
("Dave" "is" "nice" "+")
triple11
Anne is not nice.
False
1
inv-proof
[(triple6)]
("Anne" "is" "nice" "-")
triple6
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple4) -> rule1))] Anne is green.[(triple4)] Anne is kind.[(triple5)] Anne is nice.[(triple6)] Anne is red.[(triple7)] Dave is blue.[(triple8)] Dave is green.[(triple9)] Dave is kind.[(triple10)] Dave is nice.[(triple11)] Dave is red.[(triple12)] @1: Dave is furry.[(((triple9) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
triple5
Anne is nice.
("Anne" "is" "nice" "+")
triple6
Anne is red.
("Anne" "is" "red" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
triple12
Dave is furry.
("Dave" "is" "furry" "+")
((triple9) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1