Anne is cold. Anne is not green. Anne is smart. Anne is not white. Erin is cold. Erin is green. Erin is kind. Erin is not smart. Erin is white. Erin is young. Harry is cold. Harry is green. Harry is round. Harry is smart. Harry is white. Harry is young. All cold people are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not white.
("Anne" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Harry is young.
("Harry" "is" "young" "+")
All cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Erin is green.
True
1
proof
[(triple6)]
("Erin" "is" "green" "+")
triple6
Harry is not green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "-")
triple12
Anne is young.
True
2
proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Anne" "is" "young" "-")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is not round.
Unknown
inv-random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is cold.[(triple1)] Anne is not green.[(triple2)] Anne is not white.[(triple4)] Anne is smart.[(triple3)] Erin is cold.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is not smart.[(triple8)] Erin is white.[(triple9)] Erin is young.[(triple10 OR ((triple5) -> rule1))] Harry is cold.[(triple11)] Harry is green.[(triple12)] Harry is round.[(triple13)] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple11) -> rule1))] @1: Anne is young.[(((triple1) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is not smart.
("Erin" "is" "smart" "-")
triple8
Erin is white.
("Erin" "is" "white" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
((triple5) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is smart.
("Harry" "is" "smart" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
((triple11) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1