Anne is big. Anne is blue. Anne is furry. Anne is not kind. Anne is nice. Anne is not quiet. Anne is young. Bob is big. Bob is furry. Bob is kind. Bob is not nice. Bob is quiet. Blue, quiet things are young. Quiet things are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is quiet.
("Bob" "is" "quiet" "+")
Blue, quiet things are young.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Quiet things are blue.
((("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Anne is nice.
True
1
proof
[(triple5)]
("Anne" "is" "nice" "+")
triple5
Anne is not blue.
False
1
inv-proof
[(triple2)]
("Anne" "is" "blue" "-")
triple2
Bob is blue.
True
2
proof
[(((triple12) -> rule2))]
("Bob" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not blue.
False
2
inv-proof
[(((triple12) -> rule2))]
("Bob" "is" "blue" "-")
((triple12) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
True
4
proof
[(((((triple12) -> rule2) triple12) -> rule1))]
("Bob" "is" "young" "+")
((((triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is not young.
False
4
inv-proof
[(((((triple12) -> rule2) triple12) -> rule1))]
("Bob" "is" "young" "-")
((((triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple5)] Anne is not kind.[(triple4)] Anne is not quiet.[(triple6)] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is furry.[(triple9)] Bob is kind.[(triple10)] Bob is not nice.[(triple11)] Bob is quiet.[(triple12)] @1: Bob is blue.[(((triple12) -> rule2))] @2: Bob is young.[(((((triple12) -> rule2) triple12) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple5
Anne is not kind.
("Anne" "is" "kind" "-")
triple4
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
triple8
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
triple10
Bob is not nice.
("Bob" "is" "nice" "-")
triple11
Bob is quiet.
("Bob" "is" "quiet" "+")
triple12
Bob is blue.
("Bob" "is" "blue" "+")
((triple12) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((((triple12) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2