Anne is cold. Anne is green. Anne is kind. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. Gary is furry. Gary is green. Gary is round. Gary is white. Harry is blue. Harry is green. Harry is round. Furry things are cold. If something is cold then it is white. If something is green and blue then it is furry.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "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 round.
("Fiona" "is" "round" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Furry things are cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is green and blue then it is furry.
((("something" "is" "green" "+") ("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Fiona is not furry.
False
1
inv-proof
[(triple5 OR ((triple6 triple4) -> rule3))]
("Fiona" "is" "furry" "-")
triple5
((triple6 triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Anne is white.
True
2
proof
[(((triple1) -> rule2))]
("Anne" "is" "white" "+")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Harry is not furry.
False
3
inv-proof
[(((triple14 triple13) -> rule3))]
("Harry" "is" "furry" "-")
((triple14 triple13) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is cold.
True
4
proof
[(((((triple14 triple13) -> rule3)) -> rule1))]
("Harry" "is" "cold" "+")
((((triple14 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not cold.
False
4
inv-proof
[(((((triple14 triple13) -> rule3)) -> rule1))]
("Harry" "is" "cold" "-")
((((triple14 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
True
5
proof
[(((((((triple14 triple13) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "white" "+")
((((((triple14 triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is not white.
False
5
inv-proof
[(((((((triple14 triple13) -> rule3)) -> rule1)) -> rule2))]
("Harry" "is" "white" "-")
((((((triple14 triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "furry" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5 OR ((triple6 triple4) -> rule3))] Fiona is green.[(triple6)] Fiona is kind.[(triple7)] Fiona is round.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is round.[(triple11)] Gary is white.[(triple12 OR ((((triple9) -> rule1)) -> rule2))] Harry is blue.[(triple13)] Harry is green.[(triple14)] Harry is round.[(triple15)] @1: Anne is white.[(((triple1) -> rule2))] Fiona is cold.[(((triple5) -> rule1) OR ((((triple6 triple4) -> rule3)) -> rule1))] Gary is cold.[(((triple9) -> rule1))] Harry is furry.[(((triple14 triple13) -> rule3))] @2: Fiona is white.[(((((triple5) -> rule1)) -> rule2) OR ((((((triple6 triple4) -> rule3)) -> rule1)) -> rule2))] Harry is cold.[(((((triple14 triple13) -> rule3)) -> rule1))] @3: Harry is white.[(((((((triple14 triple13) -> rule3)) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple6 triple4) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
Fiona is round.
("Fiona" "is" "round" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is white.
("Gary" "is" "white" "+")
triple12
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
triple13
Harry is green.
("Harry" "is" "green" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple5) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple14 triple13) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple6 triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((triple14 triple13) -> (rule3 % int2))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
((((((triple14 triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3