Anne is white. Anne is young. Charlie is cold. Charlie is white. Erin is round. Erin is young. Fiona is white. Young things are white. If Fiona is big and Fiona is round then Fiona is green. All white, round things are big.
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Young things are white.
((("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If Fiona is big and Fiona is round then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "green" "+"))
All white, round things are big.
((("something" "is" "white" "+") ("something" "is" "round" "+")) -> ("something" "is" "big" "+"))
Erin is young.
True
1
proof
[(triple6)]
("Erin" "is" "young" "+")
triple6
Charlie is not cold.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "cold" "-")
triple3
Erin is white.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "white" "+")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "white" "-")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
True
4
proof
[(((((triple6) -> rule1) triple5) -> rule3))]
("Erin" "is" "big" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not big.
False
4
inv-proof
[(((((triple6) -> rule1) triple5) -> rule3))]
("Erin" "is" "big" "-")
((((triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Fiona is not big.
Unknown
inv-rconc
[@1: Fiona is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fiona" "is" "big" "-")
Anne is big.
Unknown
rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "big" "+")
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is white.[(triple1 OR ((triple2) -> rule1))] Anne is young.[(triple2)] Charlie is cold.[(triple3)] Charlie is white.[(triple4)] Erin is round.[(triple5)] Erin is young.[(triple6)] Fiona is white.[(triple7)] @1: Erin is white.[(((triple6) -> rule1))] @2: Erin is big.[(((((triple6) -> rule1) triple5) -> rule3))]
Anne is white.
("Anne" "is" "white" "+")
triple1
((triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is white.
("Charlie" "is" "white" "+")
triple4
Erin is round.
("Erin" "is" "round" "+")
triple5
Erin is young.
("Erin" "is" "young" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Erin is white.
("Erin" "is" "white" "+")
((triple6) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple6) -> (rule1 % int2)) triple5) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2