Anne is not big. Anne is nice. Anne is red. Anne is white. Anne is young. Bob is big. Bob is not blue. Bob is white. Erin is big. Erin is red. Erin is white. Harry is blue. Harry is nice. Harry is red. Harry is white. Red, quiet things are nice. Big, young things are nice. If something is blue and big then it is red. If something is nice then it is blue. If something is red then it is blue. All nice things are young.
Anne is not big.
("Anne" "is" "big" "-")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is white.
("Bob" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
Red, quiet things are nice.
((("something" "is" "red" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "nice" "+"))
Big, young things are nice.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
If something is blue and big then it is red.
((("something" "is" "blue" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is red then it is blue.
((("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Anne is white.
True
1
proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Anne is big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Harry is young.
True
2
proof
[(((triple13) -> rule6))]
("Harry" "is" "young" "+")
((triple13) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple10) -> rule5))]
("Erin" "is" "blue" "-")
((triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not nice.
Unknown
inv-rconc
[@3: Erin is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- rule1 <- FAIL)]]
("Erin" "is" "nice" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Harry is quiet.
Unknown
random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "+")
@0: Anne is nice.[(triple2)] Anne is not big.[(triple1)] Anne is red.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5 OR ((triple2) -> rule6))] Bob is big.[(triple6)] Bob is not blue.[(triple7)] Bob is white.[(triple8)] Erin is big.[(triple9)] Erin is red.[(triple10)] Erin is white.[(triple11)] Harry is blue.[(triple12 OR ((triple13) -> rule4) OR ((triple14) -> rule5))] Harry is nice.[(triple13)] Harry is red.[(triple14)] Harry is white.[(triple15)] @1: Anne is blue.[(((triple2) -> rule4) OR ((triple3) -> rule5))] Erin is blue.[(((triple10) -> rule5))] Harry is young.[(((triple13) -> rule6))]
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
((triple2) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is not blue.
("Bob" "is" "blue" "-")
triple7
Bob is white.
("Bob" "is" "white" "+")
triple8
Erin is big.
("Erin" "is" "big" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Harry is blue.
("Harry" "is" "blue" "+")
triple12
((triple13) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple14) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is white.
("Harry" "is" "white" "+")
triple15
Anne is blue.
("Anne" "is" "blue" "+")
((triple2) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple10) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple13) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1