Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is round. Fiona is white. Fiona is young. White people are red. All nice people are cold. All white, cold people are quiet.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
White people are red.
((("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
All nice people are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All white, cold people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
Fiona is cold.
True
1
proof
[(triple1 OR ((triple2) -> rule2))]
("Fiona" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not red.
False
1
inv-proof
[(triple4 OR ((triple6) -> rule1))]
("Fiona" "is" "red" "-")
triple4
((triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
@0: Fiona is cold.[(triple1 OR ((triple2) -> rule2))] Fiona is nice.[(triple2)] Fiona is quiet.[(triple3 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple2) -> rule2)) -> rule3))] Fiona is red.[(triple4 OR ((triple6) -> rule1))] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7)]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
((triple2) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
((triple6 triple1) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple6 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple4
((triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7