Fiona is red. If Fiona is round and Fiona is red then Fiona is cold. All quiet, kind things are round. All red things are white. Round things are kind. All white things are young. If Fiona is young then Fiona is round. All quiet, round things are white. All cold, round things are kind.
Fiona is red.
("Fiona" "is" "red" "+")
If Fiona is round and Fiona is red then Fiona is cold.
((("Fiona" "is" "round" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "cold" "+"))
All quiet, kind things are round.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All white things are young.
((("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If Fiona is young then Fiona is round.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "round" "+"))
All quiet, round things are white.
((("something" "is" "quiet" "+") ("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
All cold, round things are kind.
((("something" "is" "cold" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
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 white.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "white" "+")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "white" "-")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
True
3
proof
[(((((triple1) -> rule3)) -> rule5))]
("Fiona" "is" "young" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("Fiona" "is" "young" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
True
4
proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule6))]
("Fiona" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not round.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule6))]
("Fiona" "is" "round" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
@0: Fiona is red.[(triple1)] @1: Fiona is white.[(((triple1) -> rule3))] @2: Fiona is young.[(((((triple1) -> rule3)) -> rule5))] @3: Fiona is round.[(((((((triple1) -> rule3)) -> rule5)) -> rule6))] @4: Fiona is cold.[(((((((((triple1) -> rule3)) -> rule5)) -> rule6) triple1) -> rule1))] Fiona is kind.[(((((((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule4) OR ((((((((((triple1) -> rule3)) -> rule5)) -> rule6) triple1) -> rule1) ((((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule8))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2)) triple1) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3)) triple1) -> (rule1 % int2)) ((((((triple1) -> (rule3 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5