Dave is quiet. Dave is red. Dave is round. Fiona is blue. Fiona is green. Fiona is not quiet. Fiona is not red. Fiona is round. Fiona is not smart. Gary is not green. Gary is quiet. Gary is red. Gary is round. Gary is smart. Harry is green. Harry is red. If Harry is quiet then Harry is blue. Red things are not furry. If something is round and quiet then it is blue.
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is not red.
("Fiona" "is" "red" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Gary is not green.
("Gary" "is" "green" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
If Harry is quiet then Harry is blue.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "blue" "+"))
Red things are not furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "-"))
If something is round and quiet then it is blue.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "blue" "+"))
Fiona is round.
True
1
proof
[(triple8)]
("Fiona" "is" "round" "+")
triple8
Fiona is not blue.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "blue" "-")
triple4
Gary is blue.
True
3
proof
[(((triple13 triple11) -> rule3))]
("Gary" "is" "blue" "+")
((triple13 triple11) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Harry is furry.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "furry" "+")
((triple16) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Dave is quiet.[(triple1)] Dave is red.[(triple2)] Dave is round.[(triple3)] Fiona is blue.[(triple4)] Fiona is green.[(triple5)] Fiona is not quiet.[(triple6)] Fiona is not red.[(triple7)] Fiona is not smart.[(triple9)] Fiona is round.[(triple8)] Gary is not green.[(triple10)] Gary is quiet.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is smart.[(triple14)] Harry is green.[(triple15)] Harry is red.[(triple16)] @1: Dave is blue.[(((triple3 triple1) -> rule3))] Dave is not furry.[(((triple2) -> rule2))] Gary is blue.[(((triple13 triple11) -> rule3))] Gary is not furry.[(((triple12) -> rule2))] Harry is not furry.[(((triple16) -> rule2))]
Dave is quiet.
("Dave" "is" "quiet" "+")
triple1
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is green.
("Fiona" "is" "green" "+")
triple5
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple6
Fiona is not red.
("Fiona" "is" "red" "-")
triple7
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple9
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is not green.
("Gary" "is" "green" "-")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is red.
("Harry" "is" "red" "+")
triple16
Dave is blue.
("Dave" "is" "blue" "+")
((triple3 triple1) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
((triple2) -> (rule2 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple13 triple11) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not furry.
("Gary" "is" "furry" "-")
((triple12) -> (rule2 % int1))
Gary is not furry.
("Gary" "is" "furry" "-")
int1
Harry is not furry.
("Harry" "is" "furry" "-")
((triple16) -> (rule2 % int1))
Harry is not furry.
("Harry" "is" "furry" "-")
int1