Dave is blue. Dave is green. Dave is nice. Dave is quiet. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. Fiona is young. All quiet, blue things are furry. Quiet, blue things are young. If Fiona is furry and Fiona is young then Fiona is smart.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
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 smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All quiet, blue things are furry.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Quiet, blue things are young.
((("something" "is" "quiet" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If Fiona is furry and Fiona is young then Fiona is smart.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "young" "+")) -> ("Fiona" "is" "smart" "+"))
Fiona is green.
True
1
proof
[(triple8)]
("Fiona" "is" "green" "+")
triple8
Dave is not blue.
False
1
inv-proof
[(triple1)]
("Dave" "is" "blue" "-")
triple1
Dave is furry.
True
3
proof
[(((triple4 triple1) -> rule1))]
("Dave" "is" "furry" "+")
((triple4 triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("Dave" "is" "furry" "-")
((triple4 triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
@0: Dave is blue.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7 OR ((triple10 triple6) -> rule1))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is quiet.[(triple10)] Fiona is smart.[(triple11 OR ((triple7 triple12) -> rule3) OR ((triple7 ((triple10 triple6) -> rule2)) -> rule3) OR ((((triple10 triple6) -> rule1) triple12) -> rule3) OR ((((triple10 triple6) -> rule1) ((triple10 triple6) -> rule2)) -> rule3))] Fiona is young.[(triple12 OR ((triple10 triple6) -> rule2))] @1: Dave is furry.[(((triple4 triple1) -> rule1))] Dave is young.[(((triple4 triple1) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((triple10 triple6) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
((triple7 triple12) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple7 ((triple10 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple10 triple6) -> (rule1 % int2)) triple12) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple10 triple6) -> (rule1 % int3)) ((triple10 triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple10 triple6) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple4 triple1) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple1) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1