Anne is blue. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is white. Erin is young. Young things are red.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Erin is kind.
True
1
proof
[(triple9)]
("Erin" "is" "kind" "+")
triple9
Anne is not blue.
False
1
inv-proof
[(triple1)]
("Anne" "is" "blue" "-")
triple1
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple7) -> rule1))] Anne is rough.[(triple5)] Anne is white.[(triple6)] Anne is young.[(triple7)] Erin is blue.[(triple8)] Erin is kind.[(triple9)] Erin is quiet.[(triple10)] Erin is red.[(triple11 OR ((triple14) -> rule1))] Erin is rough.[(triple12)] Erin is white.[(triple13)] Erin is young.[(triple14)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
((triple7) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is white.
("Anne" "is" "white" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Erin is blue.
("Erin" "is" "blue" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
triple11
((triple14) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
Erin is young.
("Erin" "is" "young" "+")
triple14