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