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