Dave is big. Dave is furry. Dave is kind. Dave is young. Fiona is big. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is white. Fiona is young. Kind, quiet people are nice. Furry people are quiet.
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Kind, quiet people are nice.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Dave is furry.
True
1
proof
[(triple2)]
("Dave" "is" "furry" "+")
triple2
Fiona is not young.
False
1
inv-proof
[(triple10)]
("Fiona" "is" "young" "-")
triple10
Fiona is nice.
True
3
proof
[(((triple7 triple8) -> rule1) OR ((triple7 ((triple6) -> rule2)) -> rule1))]
("Fiona" "is" "nice" "+")
((triple7 triple8) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Dave is not quiet.
False
2
inv-proof
[(((triple2) -> rule2))]
("Dave" "is" "quiet" "-")
((triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is nice.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("Dave" "is" "nice" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is not nice.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule1))]
("Dave" "is" "nice" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is young.[(triple4)] Fiona is big.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is quiet.[(triple8 OR ((triple6) -> rule2))] Fiona is white.[(triple9)] Fiona is young.[(triple10)] @1: Dave is quiet.[(((triple2) -> rule2))] Fiona is nice.[(((triple7 triple8) -> rule1) OR ((triple7 ((triple6) -> rule2)) -> rule1))] @2: Dave is nice.[(((triple3 ((triple2) -> rule2)) -> rule1))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple4
Fiona is big.
("Fiona" "is" "big" "+")
triple5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple6) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple2) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple7 triple8) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2