Fiona is blue. Fiona is green. Fiona is quiet. If Fiona is quiet and Fiona is furry then Fiona is round. All round people are blue. If someone is green and smart then they are furry. All furry people are smart. If someone is quiet and smart then they are blue. Smart people are nice. Blue, green people are smart. If Fiona is smart and Fiona is blue then Fiona is nice.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
If Fiona is quiet and Fiona is furry then Fiona is round.
((("Fiona" "is" "quiet" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "round" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and smart then they are furry.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All furry people are smart.
((("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
If someone is quiet and smart then they are blue.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Blue, green people are smart.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "smart" "+"))
If Fiona is smart and Fiona is blue then Fiona is nice.
((("Fiona" "is" "smart" "+") ("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "nice" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] @1: Fiona is smart.[(((triple1 triple2) -> rule7))] @2: Fiona is furry.[(((triple2 ((triple1 triple2) -> rule7)) -> rule3))] Fiona is nice.[(((((triple1 triple2) -> rule7)) -> rule6) OR ((((triple1 triple2) -> rule7) triple1) -> rule8))] @3: Fiona is round.[(((triple3 ((triple2 ((triple1 triple2) -> rule7)) -> rule3)) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple1 triple2) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple2 ((triple1 triple2) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple1 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple1 triple2) -> (rule7 % int2)) triple1) -> (rule8 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple3 ((triple2 ((triple1 triple2) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3