Anne is young. Charlie is nice. Fiona is big. Gary is red. If Gary is red then Gary is white. If Anne is red then Anne is green. If something is young then it is red. Young things are kind. Red things are big. Big things are red.
Anne is young.
("Anne" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
If Gary is red then Gary is white.
((("Gary" "is" "red" "+")) -> ("Gary" "is" "white" "+"))
If Anne is red then Anne is green.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "green" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
Young things are kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Fiona is big.
True
1
proof
[(triple3)]
("Fiona" "is" "big" "+")
triple3
Fiona is not big.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "big" "-")
triple3
Fiona is red.
True
2
proof
[(((triple3) -> rule6))]
("Fiona" "is" "red" "+")
((triple3) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple4) -> rule5))]
("Gary" "is" "big" "-")
((triple4) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Anne is green.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not big.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5))]
("Anne" "is" "big" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not red.
Unknown
inv-rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is young.[(triple1)] Charlie is nice.[(triple2)] Fiona is big.[(triple3)] Gary is red.[(triple4)] @1: Anne is kind.[(((triple1) -> rule4))] Anne is red.[(((triple1) -> rule3))] Fiona is red.[(((triple3) -> rule6))] Gary is big.[(((triple4) -> rule5))] Gary is white.[(((triple4) -> rule1))] @2: Anne is big.[(((((triple1) -> rule3)) -> rule5))] Anne is green.[(((((triple1) -> rule3)) -> rule2))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Gary is red.
("Gary" "is" "red" "+")
triple4
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
((triple1) -> (rule3 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple3) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple4) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple4) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2