Erin is green. Erin is kind. Erin is red. Erin is round. Erin is young. Gary is green. Gary is not kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. If Gary is kind and Gary is rough then Gary is green. If Erin is round then Erin is rough. If something is round and not young then it is red.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is not kind.
("Gary" "is" "kind" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is kind and Gary is rough then Gary is green.
((("Gary" "is" "kind" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "green" "+"))
If Erin is round then Erin is rough.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "rough" "+"))
If something is round and not young then it is red.
((("something" "is" "round" "+") ("something" "is" "young" "~")) -> ("something" "is" "red" "+"))
Gary is rough.
True
1
proof
[(triple10)]
("Gary" "is" "rough" "+")
triple10
Erin is not round.
False
1
inv-proof
[(triple4)]
("Erin" "is" "round" "-")
triple4
Erin is rough.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "rough" "-")
((triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is red.[(triple3)] Erin is round.[(triple4)] Erin is young.[(triple5)] Gary is green.[(triple6)] Gary is not kind.[(triple7)] Gary is quiet.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] @1: Erin is rough.[(((triple4) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple6
Gary is not kind.
("Gary" "is" "kind" "-")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Erin is rough.
("Erin" "is" "rough" "+")
((triple4) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1