Alan is so young and darling he is kind to all the old people on the block. To the touch Dave has rough, cold skin. Eric is a big gentleman who is very nice. He is secretly green with envy. Gary is a rough but very kind and blue person. A rough textured and cold person is definitely young. A person that is blue green and nice are that way because they are still young. A rough, blue person is often said to be nice. When someone is young, they can be cold but kind. Any person who is blue and round, if they are kind at the same time, will be young. When you meet someone that's rough, kind and nice you'll see they are green as well. When a person is blue, cold, and nice, they are also pretty young too.
Alan is young.
("Alan" "is" "young" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Eric is not nice.
False
1
inv-proof
[(triple5)]
("Eric" "is" "nice" "-")
triple5
Dave is young.
True
3
proof
[(((triple3 triple4) -> rule1))]
("Dave" "is" "young" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is not nice.
False
3
inv-proof
[(((triple10 triple8) -> rule3))]
("Gary" "is" "nice" "-")
((triple10 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is kind.
True
5
proof
[(((((triple3 triple4) -> rule1) triple4) -> rule4))]
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((((triple3 triple4) -> rule1) triple4) -> rule4))]
("Dave" "is" "kind" "-")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Gary is young.
True
11
proof
[(((triple10 ((triple8 triple9 ((triple10 triple8) -> rule3)) -> rule6) ((triple10 triple8) -> rule3)) -> rule2))]
("Gary" "is" "young" "+")
((triple10 ((triple8 triple9 ((triple10 triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple8) -> (rule3 % int3))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is not young.
False
11
inv-proof
[(((triple10 ((triple8 triple9 ((triple10 triple8) -> rule3)) -> rule6) ((triple10 triple8) -> rule3)) -> rule2))]
("Gary" "is" "young" "-")
((triple10 ((triple8 triple9 ((triple10 triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple8) -> (rule3 % int3))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "green" "-")
Eric is young.
Unknown
rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Alan is kind.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple4)] Dave is rough.[(triple3)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is nice.[(triple5)] Gary is blue.[(triple10)] Gary is kind.[(triple9)] Gary is rough.[(triple8)] @1: Dave is young.[(((triple3 triple4) -> rule1))] Gary is nice.[(((triple10 triple8) -> rule3))] @2: Dave is kind.[(((((triple3 triple4) -> rule1) triple4) -> rule4))] Gary is green.[(((triple8 triple9 ((triple10 triple8) -> rule3)) -> rule6))] @3: Gary is young.[(((triple10 ((triple8 triple9 ((triple10 triple8) -> rule3)) -> rule6) ((triple10 triple8) -> rule3)) -> rule2))]
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
((triple3 triple4) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple10 triple8) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3 triple4) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple8 triple9 ((triple10 triple8) -> (rule3 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple10 ((triple8 triple9 ((triple10 triple8) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple8) -> (rule3 % int3))) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Alan is so young and darling he is kind to all the old people on the block.
To the touch Dave has rough, cold skin.
Eric is a big gentleman who is very nice; He is secretly green with envy.
Gary is a rough but very kind and blue person.
A rough textured and cold person is definitely young.
A person that is blue green and nice are that way because they are still young.
A rough, blue person is often said to be nice.
When someone is young, they can be cold but kind.
Any person who is blue and round, if they are kind at the same time, will be young.
When you meet someone that's rough, kind and nice you'll see they are green as well.
When a person is blue, cold, and nice, they are also pretty young too.