Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is young. If Fiona is young then Fiona is furry. Young people are blue. If someone is furry and rough then they are nice. If Fiona is furry then Fiona is big. Furry, rough people are big. If Fiona is nice and Fiona is rough then Fiona is kind.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Fiona is young then Fiona is furry.
((("Fiona" "is" "young" "+")) -> ("Fiona" "is" "furry" "+"))
Young people are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is furry and rough then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is furry then Fiona is big.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "big" "+"))
Furry, rough people are big.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Fiona is nice and Fiona is rough then Fiona is kind.
((("Fiona" "is" "nice" "+") ("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is not rough.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "rough" "-")
triple6
@0: Fiona is big.[(triple1 OR ((triple3) -> rule4) OR ((triple3 triple6) -> rule5) OR ((((triple7) -> rule1)) -> rule4) OR ((((triple7) -> rule1) triple6) -> rule5))] Fiona is blue.[(triple2 OR ((triple7) -> rule2))] Fiona is furry.[(triple3 OR ((triple7) -> rule1))] Fiona is kind.[(triple4 OR ((triple5 triple6) -> rule6) OR ((((triple3 triple6) -> rule3) triple6) -> rule6) OR ((((((triple7) -> rule1) triple6) -> rule3) triple6) -> rule6))] Fiona is nice.[(triple5 OR ((triple3 triple6) -> rule3) OR ((((triple7) -> rule1) triple6) -> rule3))] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple3 triple6) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple7) -> (rule1 % int2)) triple6) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
((triple7) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((triple5 triple6) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple3 triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((((triple7) -> (rule1 % int3)) triple6) -> (rule3 % int2)) triple6) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
((triple3 triple6) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7) -> (rule1 % int2)) triple6) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7