Dave is blue. Dave is furry. Dave is green. Dave is nice. Dave is quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is smart. All blue people are green.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
All blue people are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Fiona is green.
True
1
proof
[(triple10 OR ((triple8) -> rule1))]
("Fiona" "is" "green" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not smart.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "smart" "-")
triple14
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3 OR ((triple1) -> rule1))] Dave is nice.[(triple4)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is smart.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10 OR ((triple8) -> rule1))] Fiona is nice.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is smart.[(triple14)]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple6
Dave is smart.
("Dave" "is" "smart" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
((triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is round.
("Fiona" "is" "round" "+")
triple13
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14