Charlie is a rough but very kind and blue person. Eric always goes out of his way to show that he is kind to people. From a certain angle Fred is blue but he is young so maybe that will go away. Harry had big, red, round cheeks. You will probably see that red, round people are nice, as well as green. Rough people are often always nice. People who are rough and green with envy are young. A green colored, nice and young person will be big shaped. Have you noticed that green and round folks are also so young. Round and big people are sure to be rough.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and round then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is round and big then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "kind" "-")
triple2
Harry is rough.
True
3
proof
[(((triple7 triple9) -> rule6))]
("Harry" "is" "rough" "+")
((triple7 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not rough.
False
3
inv-proof
[(((triple7 triple9) -> rule6))]
("Harry" "is" "rough" "-")
((triple7 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
True
4
proof
[(((((triple7 triple9) -> rule6)) -> rule2))]
("Harry" "is" "nice" "+")
((((triple7 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is not nice.
False
4
inv-proof
[(((((triple7 triple9) -> rule6)) -> rule2))]
("Harry" "is" "nice" "-")
((((triple7 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
True
7
proof
[(((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "green" "+")
((triple7 triple8 ((((triple7 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not green.
False
7
inv-proof
[(((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1))]
("Harry" "is" "green" "-")
((triple7 triple8 ((((triple7 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
True
9
proof
[(((((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1) triple7) -> rule5) OR ((((triple7 triple9) -> rule6) ((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Harry" "is" "young" "+")
((((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple7 triple9) -> (rule6 % int4)) ((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not young.
False
9
inv-proof
[(((((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1) triple7) -> rule5) OR ((((triple7 triple9) -> rule6) ((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
("Harry" "is" "young" "-")
((((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple7 triple9) -> (rule6 % int4)) ((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fred" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Charlie is not big.
Unknown
inv-rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Fred is nice.
Unknown
rconc
[@2: Fred is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Fred" "is" "nice" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
Fred is not round.
Unknown
inv-random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is blue.[(triple3)] Charlie is kind.[(triple2)] Charlie is rough.[(triple1)] Eric is kind.[(triple4)] Fred is blue.[(triple6)] Fred is young.[(triple5)] Harry is big.[(triple9)] Harry is red.[(triple8)] Harry is round.[(triple7)] @1: Charlie is nice.[(((triple1) -> rule2))] Harry is rough.[(((triple7 triple9) -> rule6))] @2: Harry is nice.[(((((triple7 triple9) -> rule6)) -> rule2))] @3: Harry is green.[(((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1))] @4: Harry is young.[(((((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1) triple7) -> rule5) OR ((((triple7 triple9) -> rule6) ((triple7 triple8 ((((triple7 triple9) -> rule6)) -> rule2)) -> rule1)) -> rule3))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is round.
("Harry" "is" "round" "+")
triple7
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple7 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple7 triple8 ((((triple7 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple7) -> (rule5 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((triple7 triple9) -> (rule6 % int4)) ((triple7 triple8 ((((triple7 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Charlie is a rough but very kind and blue person.
Eric always goes out of his way to show that he is kind to people.
From a certain angle Fred is blue but he is young so maybe that will go away.
Harry had big, red, round cheeks.
You will probably see that red, round people are nice, as well as green.
Rough people are often always nice.
People who are rough and green with envy are young.
A green colored, nice and young person will be big shaped.
Have you noticed that green and round folks are also so young.
Round and big people are sure to be rough.