Fiona is cold. Fiona is green. Fiona is round. Round things are nice. If something is kind then it is cold. If Fiona is round then Fiona is green. If something is furry then it is nice. All rough, kind things are cold. All furry, round things are rough. If something is cold then it is furry. All rough things are furry.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If Fiona is round then Fiona is green.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
If something is furry then it is nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All rough, kind things are cold.
((("something" "is" "rough" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
All furry, round things are rough.
((("something" "is" "furry" "+") ("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule7))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is not nice.
False
2
inv-proof
[(((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule4))]
("Fiona" "is" "nice" "-")
((triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
@0: Fiona is cold.[(triple1)] Fiona is green.[(triple2 OR ((triple3) -> rule3))] Fiona is round.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule7))] Fiona is nice.[(((triple3) -> rule1) OR ((((triple1) -> rule7)) -> rule4))] @2: Fiona is rough.[(((((triple1) -> rule7) triple3) -> rule6))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple3) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple1) -> (rule7 % int2)) triple3) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2