Anne is big. Anne is cold. Anne is green. Anne is rough. Anne is round. Anne is smart. Anne is white. Erin is big. Erin is cold. Erin is green. Erin is round. Erin is white. If someone is big then they are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is big then they are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Anne is smart.
True
1
proof
[(triple6)]
("Anne" "is" "smart" "+")
triple6
Anne is not rough.
False
1
inv-proof
[(triple4 OR ((triple1) -> rule1))]
("Anne" "is" "rough" "-")
triple4
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Erin is rough.
True
2
proof
[(((triple8) -> rule1))]
("Erin" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Erin" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is green.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Erin is big.[(triple8)] Erin is cold.[(triple9)] Erin is green.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)] @1: Erin is rough.[(((triple8) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
((triple1) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Erin is green.
("Erin" "is" "green" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1