Anne is kind. Anne is round. Anne is young. Charlie is blue. Charlie is kind. Charlie is rough. Gary is kind. Gary is white. Gary is young. Harry is blue. Young, blue things are rough. Rough things are white. All kind, round things are blue.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is white.
("Gary" "is" "white" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Young, blue things are rough.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All kind, round things are blue.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Anne is blue.
True
3
proof
[(((triple1 triple2) -> rule3))]
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple1 triple2) -> rule3))]
("Anne" "is" "blue" "-")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is rough.
True
5
proof
[(((triple3 ((triple1 triple2) -> rule3)) -> rule1))]
("Anne" "is" "rough" "+")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is not rough.
False
5
inv-proof
[(((triple3 ((triple1 triple2) -> rule3)) -> rule1))]
("Anne" "is" "rough" "-")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
True
6
proof
[(((((triple3 ((triple1 triple2) -> rule3)) -> rule1)) -> rule2))]
("Anne" "is" "white" "+")
((((triple3 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is not white.
False
6
inv-proof
[(((((triple3 ((triple1 triple2) -> rule3)) -> rule1)) -> rule2))]
("Anne" "is" "white" "-")
((((triple3 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "blue" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not white.
Unknown
inv-rconc
[@2: Harry is white.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Gary is rough.
Unknown
rconc
[@2: Gary is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Charlie is blue.[(triple4)] Charlie is kind.[(triple5)] Charlie is rough.[(triple6)] Gary is kind.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9)] Harry is blue.[(triple10)] @1: Anne is blue.[(((triple1 triple2) -> rule3))] Charlie is white.[(((triple6) -> rule2))] @2: Anne is rough.[(((triple3 ((triple1 triple2) -> rule3)) -> rule1))] @3: Anne is white.[(((((triple3 ((triple1 triple2) -> rule3)) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is young.
("Anne" "is" "young" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is white.
("Gary" "is" "white" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Anne is blue.
("Anne" "is" "blue" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple6) -> (rule2 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple3 ((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
((((triple3 ((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3