Erin is big. Erin is blue. Erin is kind. Erin is quiet. Erin is red. Erin is rough. Erin is young. Fiona is big. Fiona is kind. Fiona is red. Fiona is rough. Fiona is young. All young things are blue.
Erin is big.
("Erin" "is" "big" "+")
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 young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Fiona is rough.
True
1
proof
[(triple11)]
("Fiona" "is" "rough" "+")
triple11
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Fiona is blue.
True
2
proof
[(((triple12) -> rule1))]
("Fiona" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
2
inv-proof
[(((triple12) -> rule1))]
("Fiona" "is" "blue" "-")
((triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
@0: Erin is big.[(triple1)] Erin is blue.[(triple2 OR ((triple7) -> rule1))] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is red.[(triple5)] Erin is rough.[(triple6)] Erin is young.[(triple7)] Fiona is big.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is blue.[(((triple12) -> rule1))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
((triple7) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is kind.
("Fiona" "is" "kind" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple12) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1