Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. All young people are rough. All green people are nice.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
All young people are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Anne is rough.
True
1
proof
[(triple5 OR ((triple7) -> rule1))]
("Anne" "is" "rough" "+")
triple5
((triple7) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not cold.
False
1
inv-proof
[(triple1)]
("Anne" "is" "cold" "-")
triple1
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule2))] Anne is red.[(triple4)] Anne is rough.[(triple5 OR ((triple7) -> rule1))] Anne is round.[(triple6)] Anne is young.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple2) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
((triple7) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7