Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is white. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is white. Fiona is young. If Erin is white then Erin is cold. Cold, white things are kind. If Erin is green then Erin is young.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Erin is white then Erin is cold.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "cold" "+"))
Cold, white things are kind.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
If Erin is green then Erin is young.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "young" "+"))
Fiona is young.
True
1
proof
[(triple12)]
("Fiona" "is" "young" "+")
triple12
Fiona is not nice.
False
1
inv-proof
[(triple9)]
("Fiona" "is" "nice" "-")
triple9
Erin is young.
True
2
proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple2) -> rule3))]
("Erin" "is" "young" "-")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
@0: Erin is cold.[(triple1 OR ((triple5) -> rule1))] Erin is green.[(triple2)] Erin is kind.[(triple3 OR ((triple1 triple5) -> rule2) OR ((((triple5) -> rule1) triple5) -> rule2))] Erin is nice.[(triple4)] Erin is white.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple6 triple11) -> rule2))] Fiona is nice.[(triple9)] Fiona is red.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Erin is young.[(((triple2) -> rule3))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple5) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
((triple1 triple5) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple5) -> (rule1 % int2)) triple5) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
((triple6 triple11) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Erin is young.
("Erin" "is" "young" "+")
((triple2) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1