Fiona is big. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is smart. Fiona is white. If Fiona is nice then Fiona is smart. All blue, smart people are furry.
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 smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is nice then Fiona is smart.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "smart" "+"))
All blue, smart people are furry.
((("someone" "is" "blue" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
Fiona is blue.
True
1
proof
[(triple2)]
("Fiona" "is" "blue" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple5) -> rule1)) -> rule2))]
("Fiona" "is" "furry" "-")
triple3
((triple2 triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple2 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3 OR ((triple2 triple6) -> rule2) OR ((triple2 ((triple5) -> rule1)) -> rule2))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule1))] Fiona is white.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
((triple2 triple6) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple2 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple5) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7