They always call him rough Charlie. Dave wears all blue. Eric is rough and is blue, but that's because he's big and round in a small and square world. Harry was born only a few years ago so he is young. If the description of nice and green applies to somebody, the description of young will, too. A rough, big soul is sure to be nice, too. Someone who's blue, nice and round will also be someone who's green. A person that is green also someone who is big.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and nice and round then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Eric is rough.
True
1
proof
[(triple4)]
("Eric" "is" "rough" "+")
triple4
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Eric is nice.
True
3
proof
[(((triple4 triple6) -> rule2))]
("Eric" "is" "nice" "+")
((triple4 triple6) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is not nice.
False
3
inv-proof
[(((triple4 triple6) -> rule2))]
("Eric" "is" "nice" "-")
((triple4 triple6) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
True
6
proof
[(((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3))]
("Eric" "is" "green" "+")
((triple5 ((triple4 triple6) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is not green.
False
6
inv-proof
[(((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3))]
("Eric" "is" "green" "-")
((triple5 ((triple4 triple6) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
True
10
proof
[(((((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3) ((triple4 triple6) -> rule2)) -> rule1))]
("Eric" "is" "young" "+")
((((triple5 ((triple4 triple6) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple4 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Eric is not young.
False
10
inv-proof
[(((((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3) ((triple4 triple6) -> rule2)) -> rule1))]
("Eric" "is" "young" "-")
((((triple5 ((triple4 triple6) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple4 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Dave" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Charlie" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@3: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Dave is green.
Unknown
rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "green" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Charlie is rough.[(triple1)] Dave is blue.[(triple2)] Eric is big.[(triple6)] Eric is blue.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Harry is young.[(triple7)] @1: Eric is nice.[(((triple4 triple6) -> rule2))] @2: Eric is green.[(((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3))] @3: Eric is young.[(((((triple5 ((triple4 triple6) -> rule2) triple3) -> rule3) ((triple4 triple6) -> rule2)) -> rule1))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
((triple4 triple6) -> (rule2 % int1))
Eric is nice.
("Eric" "is" "nice" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((triple4 triple6) -> (rule2 % int2)) triple3) -> (rule3 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is nice.
("Eric" "is" "nice" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((triple5 ((triple4 triple6) -> (rule2 % int3)) triple3) -> (rule3 % int2)) ((triple4 triple6) -> (rule2 % int3))) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is nice.
("Eric" "is" "nice" "+")
int3
They always call him rough Charlie.
Dave wears all blue.
Eric is rough and is blue, but that's because he's big and round in a small and square world.
Harry was born only a few years ago so he is young.
If the description of nice and green applies to somebody, the description of young will, too.
A rough, big soul is sure to be nice, too.
Someone who's blue, nice and round will also be someone who's green.
A person that is green also someone who is big.