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