Anne is young. If something is young then it is kind. If something is big and rough then it is blue. If something is young and kind then it is cold. If something is young then it is rough. Cold, blue things are quiet. Young things are big.
Anne is young.
("Anne" "is" "young" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If something is big and rough then it is blue.
((("something" "is" "big" "+") ("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
If something is young and kind then it is cold.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is young then it is rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Cold, blue things are quiet.
((("something" "is" "cold" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Anne is young.
True
1
proof
[(triple1)]
("Anne" "is" "young" "+")
triple1
Anne is not young.
False
1
inv-proof
[(triple1)]
("Anne" "is" "young" "-")
triple1
Anne is rough.
True
2
proof
[(((triple1) -> rule4))]
("Anne" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
2
inv-proof
[(((triple1) -> rule4))]
("Anne" "is" "rough" "-")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
True
5
proof
[(((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2))]
("Anne" "is" "blue" "+")
((((triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is not blue.
False
5
inv-proof
[(((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2))]
("Anne" "is" "blue" "-")
((((triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is quiet.
True
10
proof
[(((((triple1 ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule5))]
("Anne" "is" "quiet" "+")
((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule6 % int4)) ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Anne is not quiet.
False
10
inv-proof
[(((((triple1 ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule5))]
("Anne" "is" "quiet" "-")
((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule6 % int4)) ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
@0: Anne is young.[(triple1)] @1: Anne is big.[(((triple1) -> rule6))] Anne is kind.[(((triple1) -> rule1))] Anne is rough.[(((triple1) -> rule4))] @2: Anne is blue.[(((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2))] Anne is cold.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Anne is quiet.[(((((triple1 ((triple1) -> rule1)) -> rule3) ((((triple1) -> rule6) ((triple1) -> rule4)) -> rule2)) -> rule5))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Anne is big.
("Anne" "is" "big" "+")
((triple1) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule1 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule6 % int3)) ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((triple1 ((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1 ((triple1) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple1) -> (rule6 % int4)) ((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6