Dave is furry. Dave is kind. Dave is nice. Dave is quiet. Dave is round. Fiona is not red. Fiona is round. If Fiona is blue then Fiona is nice. Red things are quiet. If Fiona is furry then Fiona is not kind. All blue, quiet things are not red. If something is kind then it is red. If something is quiet and kind then it is red. Blue things are nice. If Dave is not red and Dave is not nice then Dave is round.
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is blue then Fiona is nice.
((("Fiona" "is" "blue" "+")) -> ("Fiona" "is" "nice" "+"))
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
If Fiona is furry then Fiona is not kind.
((("Fiona" "is" "furry" "+")) -> ("Fiona" "is" "kind" "-"))
All blue, quiet things are not red.
((("something" "is" "blue" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "-"))
If something is kind then it is red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
If something is quiet and kind then it is red.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Blue things are nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
If Dave is not red and Dave is not nice then Dave is round.
((("Dave" "is" "red" "~") ("Dave" "is" "nice" "~")) -> ("Dave" "is" "round" "+"))
Dave is nice.
True
1
proof
[(triple3)]
("Dave" "is" "nice" "+")
triple3
Dave is not quiet.
False
1
inv-proof
[(triple4 OR ((((triple2) -> rule5)) -> rule2))]
("Dave" "is" "quiet" "-")
triple4
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Fiona is not quiet.
Unknown
inv-rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is blue.
Unknown
random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "+")
@0: Dave is furry.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Dave is quiet.[(triple4 OR ((((triple2) -> rule5)) -> rule2))] Dave is round.[(triple5)] Fiona is not red.[(triple6)] Fiona is round.[(triple7)] @1: Dave is red.[(((triple2) -> rule5) OR ((triple4 triple2) -> rule6))]
Dave is furry.
("Dave" "is" "furry" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is not red.
("Fiona" "is" "red" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
((triple2) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple4 triple2) -> (rule6 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1