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