Anne is young. Charlie is young. Erin is big. Erin is green. Erin is red. Erin is smart. Erin is white. If Charlie is white then Charlie is smart. Red people are blue. All smart, white people are big. Young people are white. If Anne is red and Anne is green then Anne is white. Young, green people are big.
Anne is young.
("Anne" "is" "young" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
If Charlie is white then Charlie is smart.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "smart" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
All smart, white people are big.
((("someone" "is" "smart" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Young people are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Anne is red and Anne is green then Anne is white.
((("Anne" "is" "red" "+") ("Anne" "is" "green" "+")) -> ("Anne" "is" "white" "+"))
Young, green people are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Erin is white.
True
1
proof
[(triple7)]
("Erin" "is" "white" "+")
triple7
Erin is not green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
Charlie is white.
True
2
proof
[(((triple2) -> rule4))]
("Charlie" "is" "white" "+")
((triple2) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple5) -> rule2))]
("Erin" "is" "blue" "-")
((triple5) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "big" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is young.[(triple1)] Charlie is young.[(triple2)] Erin is big.[(triple3 OR ((triple6 triple7) -> rule3))] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] @1: Anne is white.[(((triple1) -> rule4))] Charlie is white.[(((triple2) -> rule4))] Erin is blue.[(((triple5) -> rule2))] @2: Charlie is smart.[(((((triple2) -> rule4)) -> rule1))] @3: Charlie is big.[(((((((triple2) -> rule4)) -> rule1) ((triple2) -> rule4)) -> rule3))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
((triple6 triple7) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is smart.
("Erin" "is" "smart" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Anne is white.
("Anne" "is" "white" "+")
((triple1) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple2) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple2) -> (rule4 % int3))) -> (rule1 % int2)) ((triple2) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3