Anne is big. Anne is cold. Anne is furry. All young things are big. All furry, nice things are kind. Big, rough things are kind. If something is big then it is furry. All rough things are not cold. Big things are young. All cold, big things are not rough. If something is big then it is nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
All young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
All furry, nice things are kind.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Big, rough things are kind.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is big then it is furry.
((("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
All rough things are not cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "-"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
All cold, big things are not rough.
((("something" "is" "cold" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "-"))
If something is big then it is nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
Anne is cold.
True
1
proof
[(triple2)]
("Anne" "is" "cold" "+")
triple2
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Anne is not rough.
True
3
proof
[(((triple2 triple1) -> rule7))]
("Anne" "is" "rough" "-")
((triple2 triple1) -> (rule7 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "young" "-")
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple1) -> rule4))] @1: Anne is nice.[(((triple1) -> rule8))] Anne is not rough.[(((triple2 triple1) -> rule7))] Anne is young.[(((triple1) -> rule6))] @2: Anne is kind.[(((triple3 ((triple1) -> rule8)) -> rule2) OR ((((triple1) -> rule4) ((triple1) -> rule8)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
((triple1) -> (rule4 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not rough.
("Anne" "is" "rough" "-")
((triple2 triple1) -> (rule7 % int1))
Anne is not rough.
("Anne" "is" "rough" "-")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple3 ((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1) -> (rule4 % int3)) ((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3