Dave is blue. Dave is kind. Dave is quiet. Dave is white. Dave is young. Erin is blue. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is white. Erin is young. If someone is blue then they are green.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Dave is young.
True
1
proof
[(triple5)]
("Dave" "is" "young" "+")
triple5
Dave is not kind.
False
1
inv-proof
[(triple2)]
("Dave" "is" "kind" "-")
triple2
Dave is green.
True
2
proof
[(((triple1) -> rule1))]
("Dave" "is" "green" "+")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("Dave" "is" "green" "-")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is white.[(triple4)] Dave is young.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7 OR ((triple6) -> rule1))] Erin is kind.[(triple8)] Erin is nice.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12)] @1: Dave is green.[(((triple1) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Dave is white.
("Dave" "is" "white" "+")
triple4
Dave is young.
("Dave" "is" "young" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is green.
("Erin" "is" "green" "+")
triple7
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1