Fiona is blue. White, blue people are quiet. If Fiona is round and Fiona is cold then Fiona is white. Red people are white. Blue people are red. Blue people are round. If someone is quiet then they are cold.
Fiona is blue.
("Fiona" "is" "blue" "+")
White, blue people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is round and Fiona is cold then Fiona is white.
((("Fiona" "is" "round" "+") ("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "white" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Blue people are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
Fiona is round.
True
2
proof
[(((triple1) -> rule5))]
("Fiona" "is" "round" "+")
((triple1) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple1) -> rule4))]
("Fiona" "is" "red" "-")
((triple1) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
True
3
proof
[(((((triple1) -> rule4)) -> rule3))]
("Fiona" "is" "white" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not white.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule3))]
("Fiona" "is" "white" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
True
5
proof
[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule1))]
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not quiet.
False
5
inv-proof
[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule1))]
("Fiona" "is" "quiet" "-")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
@0: Fiona is blue.[(triple1)] @1: Fiona is red.[(((triple1) -> rule4))] Fiona is round.[(((triple1) -> rule5))] @2: Fiona is white.[(((((triple1) -> rule4)) -> rule3))] @3: Fiona is quiet.[(((((((triple1) -> rule4)) -> rule3) triple1) -> rule1))] @4: Fiona is cold.[(((((((((triple1) -> rule4)) -> rule3) triple1) -> rule1)) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
((triple1) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple1) -> (rule4 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((triple1) -> (rule4 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4