Anne is cold. Anne is furry. Anne is green. Anne is kind. Fiona is cold. Fiona is rough. Fiona is white. Harry is furry. Harry is not green. Harry is rough. Kind people are furry. If Fiona is rough and Fiona is white then Fiona is kind. All green people are rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is rough.
("Harry" "is" "rough" "+")
Kind people are furry.
((("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If Fiona is rough and Fiona is white then Fiona is kind.
((("Fiona" "is" "rough" "+") ("Fiona" "is" "white" "+")) -> ("Fiona" "is" "kind" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Harry is furry.
True
1
proof
[(triple8)]
("Harry" "is" "furry" "+")
triple8
Anne is not furry.
False
1
inv-proof
[(triple2 OR ((triple4) -> rule1))]
("Anne" "is" "furry" "-")
triple2
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Fiona is kind.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is not kind.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Fiona" "is" "kind" "-")
((triple6 triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
True
4
proof
[(((((triple6 triple7) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "+")
((((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple6 triple7) -> rule2)) -> rule1))]
("Fiona" "is" "furry" "-")
((((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
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 furry.[(triple2 OR ((triple4) -> rule1))] Anne is green.[(triple3)] Anne is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Harry is furry.[(triple8)] Harry is not green.[(triple9)] Harry is rough.[(triple10)] @1: Anne is rough.[(((triple3) -> rule3))] Fiona is kind.[(((triple6 triple7) -> rule2))] @2: Fiona is furry.[(((((triple6 triple7) -> rule2)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2