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