Fiona is furry. Fiona is red. Fiona is young. If Fiona is quiet then Fiona is nice. Nice people are red. All cold, nice people are red. If someone is quiet then they are blue. If Fiona is red and Fiona is furry then Fiona is quiet. All nice people are cold.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is quiet then Fiona is nice.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "nice" "+"))
Nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
All cold, nice people are red.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is quiet then they are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
If Fiona is red and Fiona is furry then Fiona is quiet.
((("Fiona" "is" "red" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "+"))
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is quiet.
True
3
proof
[(((triple2 triple1) -> rule5))]
("Fiona" "is" "quiet" "+")
((triple2 triple1) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
3
inv-proof
[(((triple2 triple1) -> rule5))]
("Fiona" "is" "quiet" "-")
((triple2 triple1) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
True
4
proof
[(((((triple2 triple1) -> rule5)) -> rule4))]
("Fiona" "is" "blue" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not nice.
False
4
inv-proof
[(((((triple2 triple1) -> rule5)) -> rule1))]
("Fiona" "is" "nice" "-")
((((triple2 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
True
5
proof
[(((((((triple2 triple1) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "+")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not cold.
False
5
inv-proof
[(((((((triple2 triple1) -> rule5)) -> rule1)) -> rule6))]
("Fiona" "is" "cold" "-")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
@0: Fiona is furry.[(triple1)] Fiona is red.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is quiet.[(((triple2 triple1) -> rule5))] @2: Fiona is blue.[(((((triple2 triple1) -> rule5)) -> rule4))] Fiona is nice.[(((((triple2 triple1) -> rule5)) -> rule1))] @3: Fiona is cold.[(((((((triple2 triple1) -> rule5)) -> rule1)) -> rule6))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2 triple1) -> (rule5 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple2 triple1) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple2 triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3