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