Fiona is red. Fiona is smart. Fiona is young. Blue, smart things are not cold. If Fiona is smart then Fiona is quiet. If something is young and quiet then it is blue.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Blue, smart things are not cold.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "cold" "-"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is young and quiet then it is blue.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not young.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "young" "-")
triple3
Fiona is quiet.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is not quiet.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "quiet" "-")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "blue" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not blue.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule3))]
("Fiona" "is" "blue" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
@0: Fiona is red.[(triple1)] Fiona is smart.[(triple2)] Fiona is young.[(triple3)] @1: Fiona is quiet.[(((triple2) -> rule2))] @2: Fiona is blue.[(((triple3 ((triple2) -> rule2)) -> rule3))] @3: Fiona is not cold.[(((((triple3 ((triple2) -> rule2)) -> rule3) triple2) -> rule1))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not cold.
("Fiona" "is" "cold" "-")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Fiona is not cold.
("Fiona" "is" "cold" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3