Anne is nice. Anne is red. Anne is white. Charlie is big. Charlie is not furry. Charlie is round. Charlie is white. Erin is not big. Erin is nice. Gary is big. Gary is not furry. Gary is green. Gary is not nice. Gary is red. Gary is round. Gary is white. Red things are white. All nice things are red.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not furry.
("Charlie" "is" "furry" "-")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is not big.
("Erin" "is" "big" "-")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Red things are white.
((("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Gary is red.
True
1
proof
[(triple14)]
("Gary" "is" "red" "+")
triple14
Charlie is not white.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "white" "-")
triple7
Erin is red.
True
2
proof
[(((triple9) -> rule2))]
("Erin" "is" "red" "+")
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple9) -> rule2))]
("Erin" "is" "red" "-")
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
True
3
proof
[(((((triple9) -> rule2)) -> rule1))]
("Erin" "is" "white" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is not white.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule1))]
("Erin" "is" "white" "-")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not furry.
Unknown
inv-random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is nice.[(triple1)] Anne is red.[(triple2 OR ((triple1) -> rule2))] Anne is white.[(triple3 OR ((triple2) -> rule1) OR ((((triple1) -> rule2)) -> rule1))] Charlie is big.[(triple4)] Charlie is not furry.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)] Erin is nice.[(triple9)] Erin is not big.[(triple8)] Gary is big.[(triple10)] Gary is green.[(triple12)] Gary is not furry.[(triple11)] Gary is not nice.[(triple13)] Gary is red.[(triple14)] Gary is round.[(triple15)] Gary is white.[(triple16 OR ((triple14) -> rule1))] @1: Erin is red.[(((triple9) -> rule2))] @2: Erin is white.[(((((triple9) -> rule2)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
((triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple5
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple9
Erin is not big.
("Erin" "is" "big" "-")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is not furry.
("Gary" "is" "furry" "-")
triple11
Gary is not nice.
("Gary" "is" "nice" "-")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
((triple14) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple9) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple9) -> (rule2 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2