Dave is furry. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is white. Dave is young. Erin is furry. Erin is green. Erin is kind. Erin is quiet. Erin is red. Erin is white. Erin is young. Red, quiet people are white. All furry, young people are white.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is white.
("Dave" "is" "white" "+")
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 quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Red, quiet people are white.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All furry, young people are white.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
Erin is quiet.
True
1
proof
[(triple11)]
("Erin" "is" "quiet" "+")
triple11
Erin is not red.
False
1
inv-proof
[(triple12)]
("Erin" "is" "red" "-")
triple12
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6 OR ((triple1 triple7) -> rule2) OR ((triple5 triple4) -> rule1))] Dave is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is kind.[(triple10)] Erin is quiet.[(triple11)] Erin is red.[(triple12)] Erin is white.[(triple13 OR ((triple12 triple11) -> rule1) OR ((triple8 triple14) -> rule2))] Erin is young.[(triple14)]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple1 triple7) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((triple5 triple4) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is furry.
("Erin" "is" "furry" "+")
triple8
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
Erin is red.
("Erin" "is" "red" "+")
triple12
Erin is white.
("Erin" "is" "white" "+")
triple13
((triple12 triple11) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple8 triple14) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple14