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