Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is round. Dave is white. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is round. Erin is white. Round things are green.
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Erin is furry.
True
1
proof
[(triple7)]
("Erin" "is" "furry" "+")
triple7
Dave is not red.
False
1
inv-proof
[(triple3)]
("Dave" "is" "red" "-")
triple3
Erin is green.
True
2
proof
[(((triple11) -> rule1))]
("Erin" "is" "green" "+")
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple11) -> rule1))]
("Erin" "is" "green" "-")
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
@0: Dave is green.[(triple1 OR ((triple5) -> rule1))] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9)] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is white.[(triple12)] @1: Erin is green.[(((triple11) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple1
((triple5) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
Erin is furry.
("Erin" "is" "furry" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is red.
("Erin" "is" "red" "+")
triple9
Erin is rough.
("Erin" "is" "rough" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Erin is green.
("Erin" "is" "green" "+")
((triple11) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1