Fiona is cold. Fiona is furry. Fiona is rough. If Fiona is rough and Fiona is furry then Fiona is quiet. Young people are nice. Smart people are nice. If Fiona is furry then Fiona is nice. Quiet people are furry. If someone is rough and quiet then they are furry. If Fiona is nice then Fiona is smart. Quiet, young people are nice.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
If Fiona is rough and Fiona is furry then Fiona is quiet.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "quiet" "+"))
Young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is furry then Fiona is nice.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "nice" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If someone is rough and quiet then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is nice then Fiona is smart.
((("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "smart" "+"))
Quiet, young people are nice.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Fiona is furry.
True
1
proof
[(triple2)]
("Fiona" "is" "furry" "+")
triple2
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is nice.
True
2
proof
[(((triple2) -> rule4))]
("Fiona" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple2) -> rule4))]
("Fiona" "is" "nice" "-")
((triple2) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
True
3
proof
[(((((triple2) -> rule4)) -> rule7))]
("Fiona" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not smart.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule7))]
("Fiona" "is" "smart" "-")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
@0: Fiona is cold.[(triple1)] Fiona is furry.[(triple2)] Fiona is rough.[(triple3)] @1: Fiona is nice.[(((triple2) -> rule4))] Fiona is quiet.[(((triple3 triple2) -> rule1))] @2: Fiona is smart.[(((((triple2) -> rule4)) -> rule7))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple2) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple3 triple2) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2