Anne is nice. Anne is red. Anne is young. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Fiona is furry. Fiona is nice. Fiona is young. All green, young things are cold. All green, white things are nice. Red, furry things are white. All white, furry things are cold. If something is young then it is nice. Furry things are red.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All green, young things are cold.
((("something" "is" "green" "+") ("something" "is" "young" "+")) -> ("something" "is" "cold" "+"))
All green, white things are nice.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Red, furry things are white.
((("something" "is" "red" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
All white, furry things are cold.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is young then it is nice.
((("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
Furry things are red.
((("something" "is" "furry" "+")) -> ("something" "is" "red" "+"))
Charlie is cold.
True
1
proof
[(triple4 OR ((triple5 triple9) -> rule1))]
("Charlie" "is" "cold" "+")
triple4
((triple5 triple9) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Fiona is red.
True
2
proof
[(((triple10) -> rule6))]
("Fiona" "is" "red" "+")
((triple10) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fiona" "is" "red" "-")
((triple10) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
True
4
proof
[(((((triple10) -> rule6) triple10) -> rule3))]
("Fiona" "is" "white" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((((triple10) -> rule6) triple10) -> rule3))]
("Fiona" "is" "white" "-")
((((triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
True
6
proof
[(((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule4))]
("Fiona" "is" "cold" "+")
((((((triple10) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not cold.
False
6
inv-proof
[(((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule4))]
("Fiona" "is" "cold" "-")
((((((triple10) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "white" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "cold" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Fiona is green.
Unknown
random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is nice.[(triple1 OR ((triple3) -> rule5))] Anne is red.[(triple2)] Anne is young.[(triple3)] Charlie is cold.[(triple4 OR ((triple5 triple9) -> rule1))] Charlie is green.[(triple5)] Charlie is nice.[(triple6 OR ((triple9) -> rule5) OR ((triple5 triple8) -> rule2))] Charlie is red.[(triple7)] Charlie is white.[(triple8)] Charlie is young.[(triple9)] Fiona is furry.[(triple10)] Fiona is nice.[(triple11 OR ((triple12) -> rule5))] Fiona is young.[(triple12)] @1: Fiona is red.[(((triple10) -> rule6))] @2: Fiona is white.[(((((triple10) -> rule6) triple10) -> rule3))] @3: Fiona is cold.[(((((((triple10) -> rule6) triple10) -> rule3) triple10) -> rule4))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((triple3) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((triple5 triple9) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
((triple9) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple5 triple8) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is white.
("Charlie" "is" "white" "+")
triple8
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is nice.
("Fiona" "is" "nice" "+")
triple11
((triple12) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
((triple10) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple10) -> (rule6 % int2)) triple10) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple10) -> (rule6 % int3)) triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3