Erin is blue. Erin is cold. Erin is furry. Erin is not red. Erin is round. Erin is smart. Erin is not young. Fiona is red. Fiona is smart. Fiona is not young. If Erin is cold then Erin is furry. Red, blue things are smart. Furry, red things are cold. If something is blue then it is furry. If something is red then it is round. If Fiona is red then Fiona is furry. If Fiona is furry and Fiona is not smart then Fiona is not round. If Erin is red and Erin is not furry then Erin is not smart.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is not young.
("Fiona" "is" "young" "-")
If Erin is cold then Erin is furry.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "furry" "+"))
Red, blue things are smart.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "smart" "+"))
Furry, red things are cold.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is red then it is round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Fiona is red then Fiona is furry.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "+"))
If Fiona is furry and Fiona is not smart then Fiona is not round.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "smart" "~")) -> ("Fiona" "is" "round" "-"))
If Erin is red and Erin is not furry then Erin is not smart.
((("Erin" "is" "red" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "smart" "-"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not cold.
False
1
inv-proof
[(triple2)]
("Erin" "is" "cold" "-")
triple2
Fiona is furry.
True
2
proof
[(((triple8) -> rule6))]
("Fiona" "is" "furry" "+")
((triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple8) -> rule6))]
("Fiona" "is" "furry" "-")
((triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is cold.
True
4
proof
[(((((triple8) -> rule6) triple8) -> rule3))]
("Fiona" "is" "cold" "+")
((((triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not cold.
False
4
inv-proof
[(((((triple8) -> rule6) triple8) -> rule3))]
("Fiona" "is" "cold" "-")
((((triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
@0: Erin is blue.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule1))] Erin is not red.[(triple4)] Erin is not young.[(triple7)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Fiona is not young.[(triple10)] Fiona is red.[(triple8)] Fiona is smart.[(triple9)] @1: Fiona is furry.[(((triple8) -> rule6))] Fiona is round.[(((triple8) -> rule5))] @2: Fiona is cold.[(((((triple8) -> rule6) triple8) -> rule3))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is cold.
("Erin" "is" "cold" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple1) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple2) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is not red.
("Erin" "is" "red" "-")
triple4
Erin is not young.
("Erin" "is" "young" "-")
triple7
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Fiona is not young.
("Fiona" "is" "young" "-")
triple10
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is smart.
("Fiona" "is" "smart" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8) -> (rule6 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple8) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple8) -> (rule6 % int2)) triple8) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2