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