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