Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is round. Fiona is big. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is round. If someone is nice then they are big. Kind people are green. If someone is cold then they are furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If someone is nice then they are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Fiona is round.
True
1
proof
[(triple12)]
("Fiona" "is" "round" "+")
triple12
Fiona is not big.
False
1
inv-proof
[(triple7 OR ((triple11) -> rule1))]
("Fiona" "is" "big" "-")
triple7
((triple11) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is big.
True
2
proof
[(((triple5) -> rule1))]
("Anne" "is" "big" "+")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("Anne" "is" "big" "-")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1) -> rule3))] Anne is green.[(triple3 OR ((triple4) -> rule2))] Anne is kind.[(triple4)] Anne is nice.[(triple5)] Anne is round.[(triple6)] Fiona is big.[(triple7 OR ((triple11) -> rule1))] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple8) -> rule3))] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is round.[(triple12)] @1: Anne is big.[(((triple5) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple7
((triple11) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
((triple8) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is round.
("Fiona" "is" "round" "+")
triple12
Anne is big.
("Anne" "is" "big" "+")
((triple5) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1