Anne is big. Anne is blue. Anne is cold. Anne is kind. Charlie is big. Charlie is cold. Charlie is nice. Charlie is young. Dave is big. Dave is blue. Dave is green. Dave is kind. Erin is blue. Erin is kind. Erin is nice. Erin is young. Young things are green. Big, green things are blue.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is young.
("Erin" "is" "young" "+")
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
Big, green things are blue.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Dave is big.
True
1
proof
[(triple9)]
("Dave" "is" "big" "+")
triple9
Erin is not blue.
False
1
inv-proof
[(triple13)]
("Erin" "is" "blue" "-")
triple13
Charlie is green.
True
2
proof
[(((triple8) -> rule1))]
("Charlie" "is" "green" "+")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple8) -> rule1))]
("Charlie" "is" "green" "-")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
True
4
proof
[(((triple5 ((triple8) -> rule1)) -> rule2))]
("Charlie" "is" "blue" "+")
((triple5 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is not blue.
False
4
inv-proof
[(((triple5 ((triple8) -> rule1)) -> rule2))]
("Charlie" "is" "blue" "-")
((triple5 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is cold.[(triple3)] Anne is kind.[(triple4)] Charlie is big.[(triple5)] Charlie is cold.[(triple6)] Charlie is nice.[(triple7)] Charlie is young.[(triple8)] Dave is big.[(triple9)] Dave is blue.[(triple10 OR ((triple9 triple11) -> rule2))] Dave is green.[(triple11)] Dave is kind.[(triple12)] Erin is blue.[(triple13)] Erin is kind.[(triple14)] Erin is nice.[(triple15)] Erin is young.[(triple16)] @1: Charlie is green.[(((triple8) -> rule1))] Erin is green.[(((triple16) -> rule1))] @2: Charlie is blue.[(((triple5 ((triple8) -> rule1)) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is cold.
("Anne" "is" "cold" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple10
((triple9 triple11) -> (rule2 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
triple12
Erin is blue.
("Erin" "is" "blue" "+")
triple13
Erin is kind.
("Erin" "is" "kind" "+")
triple14
Erin is nice.
("Erin" "is" "nice" "+")
triple15
Erin is young.
("Erin" "is" "young" "+")
triple16
Charlie is green.
("Charlie" "is" "green" "+")
((triple8) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple16) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 ((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2