Fiona is red. Fiona is rough. Fiona is round. Furry, red things are green. All green things are not cold. If Fiona is red then Fiona is furry.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Furry, red things are green.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All green things are not cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "-"))
If Fiona is red then Fiona is furry.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not red.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "red" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
True
4
proof
[(((((triple1) -> rule3) triple1) -> rule1))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple1) -> rule3) triple1) -> rule1))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not cold.
True
5
proof
[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "-")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is cold.
False
5
inv-proof
[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
("Fiona" "is" "cold" "+")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
@0: Fiona is red.[(triple1)] Fiona is rough.[(triple2)] Fiona is round.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule3))] @2: Fiona is green.[(((((triple1) -> rule3) triple1) -> rule1))] @3: Fiona is not cold.[(((((((triple1) -> rule3) triple1) -> rule1)) -> rule2))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple1) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not cold.
("Fiona" "is" "cold" "-")
((((((triple1) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3