Dave is kind. Dave is not red. Dave is round. Dave is smart. Dave is white. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is white. If someone is white and not smart then they are rough. White people are quiet.
Dave is kind.
("Dave" "is" "kind" "+")
Dave is not red.
("Dave" "is" "red" "-")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
If someone is white and not smart then they are rough.
((("someone" "is" "white" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "rough" "+"))
White people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
Dave is round.
True
1
proof
[(triple3)]
("Dave" "is" "round" "+")
triple3
Dave is not round.
False
1
inv-proof
[(triple3)]
("Dave" "is" "round" "-")
triple3
Dave is quiet.
True
2
proof
[(((triple5) -> rule2))]
("Dave" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is not quiet.
False
2
inv-proof
[(((triple5) -> rule2))]
("Dave" "is" "quiet" "-")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
@0: Dave is kind.[(triple1)] Dave is not red.[(triple2)] Dave is round.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is not smart.[(triple11)] Fiona is quiet.[(triple7 OR ((triple12) -> rule2))] Fiona is red.[(triple8)] Fiona is rough.[(triple9 OR ((triple12 triple11) -> rule1))] Fiona is round.[(triple10)] Fiona is white.[(triple12)] @1: Dave is quiet.[(((triple5) -> rule2))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Dave is not red.
("Dave" "is" "red" "-")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is smart.
("Dave" "is" "smart" "+")
triple4
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
((triple12) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple12 triple11) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple12
Dave is quiet.
("Dave" "is" "quiet" "+")
((triple5) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1