Dave is not cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is smart. Dave is young. Erin is cold. Erin is not furry. Erin is not kind. Erin is not nice. Erin is red. Erin is smart. Erin is young. If someone is young and not red then they are kind.
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is not kind.
("Erin" "is" "kind" "-")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is young and not red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "kind" "+"))
Erin is young.
True
1
proof
[(triple14)]
("Erin" "is" "young" "+")
triple14
Dave is not kind.
False
1
inv-proof
[(triple3)]
("Dave" "is" "kind" "-")
triple3
@0: Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Dave is not cold.[(triple1)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] Erin is cold.[(triple8)] Erin is not furry.[(triple9)] Erin is not kind.[(triple10)] Erin is not nice.[(triple11)] Erin is red.[(triple12)] Erin is smart.[(triple13)] Erin is young.[(triple14)]
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is not cold.
("Dave" "is" "cold" "-")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is cold.
("Erin" "is" "cold" "+")
triple8
Erin is not furry.
("Erin" "is" "furry" "-")
triple9
Erin is not kind.
("Erin" "is" "kind" "-")
triple10
Erin is not nice.
("Erin" "is" "nice" "-")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14