Anne is furry. Anne is kind. Anne is rough. Anne is young. Erin is quiet. Erin is white. Fiona is quiet. Fiona is white. Harry is furry. Harry is white. If something is rough then it is white. All kind, white things are quiet. If Anne is young then Anne is cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is white.
("Harry" "is" "white" "+")
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All kind, white things are quiet.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If Anne is young then Anne is cold.
((("Anne" "is" "young" "+")) -> ("Anne" "is" "cold" "+"))
Erin is quiet.
True
1
proof
[(triple5)]
("Erin" "is" "quiet" "+")
triple5
Harry is not furry.
False
1
inv-proof
[(triple9)]
("Harry" "is" "furry" "-")
triple9
Anne is cold.
True
2
proof
[(((triple4) -> rule3))]
("Anne" "is" "cold" "+")
((triple4) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple4) -> rule3))]
("Anne" "is" "cold" "-")
((triple4) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
True
4
proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is not quiet.
False
4
inv-proof
[(((triple2 ((triple3) -> rule1)) -> rule2))]
("Anne" "is" "quiet" "-")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Fiona is not cold.
Unknown
inv-random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Anne is young.[(triple4)] Erin is quiet.[(triple5)] Erin is white.[(triple6)] Fiona is quiet.[(triple7)] Fiona is white.[(triple8)] Harry is furry.[(triple9)] Harry is white.[(triple10)] @1: Anne is cold.[(((triple4) -> rule3))] Anne is white.[(((triple3) -> rule1))] @2: Anne is quiet.[(((triple2 ((triple3) -> rule1)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is furry.
("Harry" "is" "furry" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Anne is cold.
("Anne" "is" "cold" "+")
((triple4) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2