Dave is blue. Dave is furry. Dave is kind. Dave is nice. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is nice. Gary is blue. Gary is cold. Gary is kind. Gary is nice. Gary is red. Harry is furry. Harry is kind. If someone is kind and nice then they are red. Cold people are kind.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and nice then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is furry.
True
1
proof
[(triple7)]
("Fiona" "is" "furry" "+")
triple7
Fiona is not blue.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "blue" "-")
triple5
Fiona is kind.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("Fiona" "is" "kind" "-")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
True
4
proof
[(((((triple6) -> rule2) triple8) -> rule1))]
("Fiona" "is" "red" "+")
((((triple6) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not red.
False
4
inv-proof
[(((((triple6) -> rule2) triple8) -> rule1))]
("Fiona" "is" "red" "-")
((((triple6) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "-")
Dave is quiet.
Unknown
random
[@0: Dave is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "quiet" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Dave is blue.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is nice.[(triple4)] Fiona is blue.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11 OR ((triple10) -> rule2))] Gary is nice.[(triple12)] Gary is red.[(triple13 OR ((triple11 triple12) -> rule1) OR ((((triple10) -> rule2) triple12) -> rule1))] Harry is furry.[(triple14)] Harry is kind.[(triple15)] @1: Dave is red.[(((triple3 triple4) -> rule1))] Fiona is kind.[(((triple6) -> rule2))] @2: Fiona is red.[(((((triple6) -> rule2) triple8) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
((triple11 triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((((triple10) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is kind.
("Harry" "is" "kind" "+")
triple15
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((((triple6) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2