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