Fiona is red. Fiona is round. Fiona is white. All big people are nice. Round, big people are red. If someone is big and nice then they are white. If Fiona is white and Fiona is big then Fiona is furry. All red, round people are nice. If Fiona is big then Fiona is red. Nice people are smart. If Fiona is white and Fiona is nice then Fiona is furry.
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All big people are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Round, big people are red.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice then they are white.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "white" "+"))
If Fiona is white and Fiona is big then Fiona is furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "big" "+")) -> ("Fiona" "is" "furry" "+"))
All red, round people are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is big then Fiona is red.
((("Fiona" "is" "big" "+")) -> ("Fiona" "is" "red" "+"))
Nice people are smart.
((("someone" "is" "nice" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is white and Fiona is nice then Fiona is furry.
((("Fiona" "is" "white" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "furry" "+"))
Fiona is red.
True
1
proof
[(triple1)]
("Fiona" "is" "red" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "white" "-")
triple3
Fiona is nice.
True
3
proof
[(((triple1 triple2) -> rule5))]
("Fiona" "is" "nice" "+")
((triple1 triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule5))]
("Fiona" "is" "nice" "-")
((triple1 triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
@0: Fiona is red.[(triple1)] Fiona is round.[(triple2)] Fiona is white.[(triple3)] @1: Fiona is nice.[(((triple1 triple2) -> rule5))] @2: Fiona is furry.[(((triple3 ((triple1 triple2) -> rule5)) -> rule8))] Fiona is smart.[(((((triple1 triple2) -> rule5)) -> rule7))]
Fiona is red.
("Fiona" "is" "red" "+")
triple1
Fiona is round.
("Fiona" "is" "round" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple1 triple2) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple3 ((triple1 triple2) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple1 triple2) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2