Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is smart. Fiona is young. Kind people are smart. If Fiona is blue and Fiona is green then Fiona is smart. If Fiona is blue and Fiona is kind then Fiona is big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Kind people are smart.
((("someone" "is" "kind" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is blue and Fiona is green then Fiona is smart.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "smart" "+"))
If Fiona is blue and Fiona is kind then Fiona is big.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "kind" "+")) -> ("Fiona" "is" "big" "+"))
Fiona is quiet.
True
1
proof
[(triple5)]
("Fiona" "is" "quiet" "+")
triple5
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
@0: Fiona is big.[(triple1 OR ((triple2 triple4) -> rule3))] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4)] Fiona is quiet.[(triple5)] Fiona is smart.[(triple6 OR ((triple4) -> rule1) OR ((triple2 triple3) -> rule2))] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple2 triple4) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple4) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple2 triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7