Erin is blue. Erin is cold. Erin is not nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is smart. Fiona is white. If Fiona is blue and Fiona is quiet then Fiona is round. All cold people are round.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not nice.
("Erin" "is" "nice" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is blue and Fiona is quiet then Fiona is round.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "blue" "-")
triple8
Fiona is round.
True
2
proof
[(((triple9) -> rule2))]
("Fiona" "is" "round" "+")
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not round.
False
2
inv-proof
[(((triple9) -> rule2))]
("Fiona" "is" "round" "-")
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is not nice.[(triple3)] Erin is quiet.[(triple4)] Erin is round.[(triple5 OR ((triple2) -> rule2))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Fiona is smart.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is round.[(((triple9) -> rule2))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is not nice.
("Erin" "is" "nice" "-")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
((triple2) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is nice.
("Fiona" "is" "nice" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
((triple9) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1