Anne is blue. Anne is cold. Anne is rough. Dave is rough. Dave is white. Fiona is white. Harry is cold. All white, blue things are cold. White things are cold. All blue things are furry. If something is white and rough then it is not furry. Cold, white things are rough. All white, cold things are not blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All white, blue things are cold.
((("something" "is" "white" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
White things are cold.
((("something" "is" "white" "+")) -> ("something" "is" "cold" "+"))
All blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
If something is white and rough then it is not furry.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "-"))
Cold, white things are rough.
((("something" "is" "cold" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
All white, cold things are not blue.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "-"))
Anne is rough.
True
1
proof
[(triple3)]
("Anne" "is" "rough" "+")
triple3
Fiona is not white.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "white" "-")
triple6
Fiona is cold.
True
2
proof
[(((triple6) -> rule2))]
("Fiona" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule3))]
("Anne" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is rough.
True
4
proof
[(((((triple6) -> rule2) triple6) -> rule5))]
("Fiona" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
False
4
inv-proof
[(((triple6 ((triple6) -> rule2)) -> rule6))]
("Fiona" "is" "blue" "+")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not furry.
True
6
proof
[(((triple6 ((((triple6) -> rule2) triple6) -> rule5)) -> rule4))]
("Fiona" "is" "furry" "-")
((triple6 ((((triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
False
6
inv-proof
[(((triple6 ((((triple6) -> rule2) triple6) -> rule5)) -> rule4))]
("Fiona" "is" "furry" "+")
((triple6 ((((triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is furry.
Unknown
rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is rough.[(triple3)] Dave is rough.[(triple4 OR ((((triple5) -> rule2) triple5) -> rule5))] Dave is white.[(triple5)] Fiona is white.[(triple6)] Harry is cold.[(triple7)] @1: Anne is furry.[(((triple1) -> rule3))] Dave is cold.[(((triple5) -> rule2))] Dave is not furry.[(((triple5 triple4) -> rule4) OR ((triple5 ((((triple5) -> rule2) triple5) -> rule5)) -> rule4))] Fiona is cold.[(((triple6) -> rule2))] @2: Dave is not blue.[(((triple5 ((triple5) -> rule2)) -> rule6))] Fiona is not blue.[(((triple6 ((triple6) -> rule2)) -> rule6))] Fiona is rough.[(((((triple6) -> rule2) triple6) -> rule5))] @3: Fiona is not furry.[(((triple6 ((((triple6) -> rule2) triple6) -> rule5)) -> rule4))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((((triple5) -> (rule2 % int2)) triple5) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
triple5
Fiona is white.
("Fiona" "is" "white" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple5) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
((triple5 triple4) -> (rule4 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
((triple5 ((((triple5) -> (rule2 % int3)) triple5) -> (rule5 % int2))) -> (rule4 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple6) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Dave is not blue.
("Dave" "is" "blue" "-")
((triple5 ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Dave is not blue.
("Dave" "is" "blue" "-")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is not blue.
("Fiona" "is" "blue" "-")
((triple6 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is not blue.
("Fiona" "is" "blue" "-")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple6) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is not furry.
("Fiona" "is" "furry" "-")
((triple6 ((((triple6) -> (rule2 % int3)) triple6) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is not furry.
("Fiona" "is" "furry" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3