Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Fiona is young. Nice people are blue. All nice people are young. If someone is blue and round then they are young. If someone is red then they are blue. Young people are green. If Fiona is blue then Fiona is nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and round then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Fiona is blue then Fiona is nice.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is round.
True
1
proof
[(triple5)]
("Fiona" "is" "round" "+")
triple5
Fiona is not red.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "red" "-")
triple4
@0: Fiona is blue.[(triple1 OR ((triple3) -> rule1) OR ((triple4) -> rule4))] Fiona is green.[(triple2 OR ((triple7) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((((triple1 triple5) -> rule3)) -> rule5) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5) OR ((((((triple3) -> rule1) triple5) -> rule3)) -> rule5) OR ((((((triple4) -> rule4) triple5) -> rule3)) -> rule5) OR ((((((((triple4) -> rule4)) -> rule6)) -> rule2)) -> rule5))] Fiona is nice.[(triple3 OR ((triple1) -> rule6) OR ((((triple4) -> rule4)) -> rule6))] Fiona is red.[(triple4)] Fiona is round.[(triple5)] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple3) -> rule2) OR ((triple1 triple5) -> rule3) OR ((((triple1) -> rule6)) -> rule2) OR ((((triple3) -> rule1) triple5) -> rule3) OR ((((triple4) -> rule4) triple5) -> rule3) OR ((((((triple4) -> rule4)) -> rule6)) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
((triple3) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
((triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple1 triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple3) -> (rule1 % int3)) triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((triple4) -> (rule4 % int3)) triple5) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple4) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
((triple1) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple3) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple1 triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple3) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((triple4) -> (rule4 % int2)) triple5) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3