Anne is big. Anne is nice. Anne is rough. If someone is red then they are green. If someone is big and red then they are green. If someone is big then they are blue. Red people are round. Nice, big people are green. Big people are green. Green, big people are blue. All green people are round.
Anne is big.
("Anne" "is" "big" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big and red then they are green.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is big then they are blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Nice, big people are green.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Big people are green.
((("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
Green, big people are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
All green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Anne is nice.
True
1
proof
[(triple2)]
("Anne" "is" "nice" "+")
triple2
Anne is not rough.
False
1
inv-proof
[(triple3)]
("Anne" "is" "rough" "-")
triple3
Anne is green.
True
2
proof
[(((triple1) -> rule6) OR ((triple2 triple1) -> rule5))]
("Anne" "is" "green" "+")
((triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is not green.
False
2
inv-proof
[(((triple1) -> rule6) OR ((triple2 triple1) -> rule5))]
("Anne" "is" "green" "-")
((triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
True
3
proof
[(((((triple1) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule5)) -> rule8))]
("Anne" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2 triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is not round.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule5)) -> rule8))]
("Anne" "is" "round" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2 triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is rough.[(triple3)] @1: Anne is blue.[(((triple1) -> rule3) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple2 triple1) -> rule5) triple1) -> rule7))] Anne is green.[(((triple1) -> rule6) OR ((triple2 triple1) -> rule5))] @2: Anne is round.[(((((triple1) -> rule6)) -> rule8) OR ((((triple2 triple1) -> rule5)) -> rule8))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2 triple1) -> (rule5 % int2)) triple1) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((triple1) -> (rule6 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple2 triple1) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2
((((triple2 triple1) -> (rule5 % int2))) -> (rule8 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
int2