Anne is big. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is young. If something is kind then it is green. All green, young things are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is kind then it is green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
All green, young things are round.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not quiet.
False
1
inv-proof
[(triple5)]
("Anne" "is" "quiet" "-")
triple5
Fiona is green.
True
2
proof
[(((triple10) -> rule1))]
("Fiona" "is" "green" "+")
((triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple10) -> rule1))]
("Fiona" "is" "green" "-")
((triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
True
4
proof
[(((((triple10) -> rule1) triple12) -> rule2))]
("Fiona" "is" "round" "+")
((((triple10) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not round.
False
4
inv-proof
[(((((triple10) -> rule1) triple12) -> rule2))]
("Fiona" "is" "round" "-")
((((triple10) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is green.[(triple3 OR ((triple4) -> rule1))] Anne is kind.[(triple4)] Anne is quiet.[(triple5)] Anne is round.[(triple6 OR ((triple3 triple7) -> rule2) OR ((((triple4) -> rule1) triple7) -> rule2))] Anne is young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is quiet.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is green.[(((triple10) -> rule1))] @2: Fiona is round.[(((((triple10) -> rule1) triple12) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
((triple4) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
((triple3 triple7) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2)) triple7) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple7
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is kind.
("Fiona" "is" "kind" "+")
triple10
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
((triple10) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((((triple10) -> (rule1 % int2)) triple12) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2