Charlie is a young and nice man, and he is also very big shaped. To the touch Fred has rough, cold skin. Harry has rough skin that is tinged with both red and green.  He has a round shape and is nice to everyone he meets. A rough textured and cold person is definitely young. A person with nice, blue traits who is young will surely be a round person. A red colored person will be rough textured and will be blue. When you meet big guys with red hair, then tend to be cold hearted. Young, round people seem to be big in our experience. Being green and rough are signs that someone is big. Green people who are kind with rosy red skin are round.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and red then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Fred is not rough.
False
1
inv-proof
[(triple4)]
("Fred" "is" "rough" "-")
triple4
Harry is big.
True
3
proof
[(((triple10 triple7) -> rule6))]
("Harry" "is" "big" "+")
((triple10 triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple10 triple7) -> rule6))]
("Harry" "is" "big" "-")
((triple10 triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is cold.
True
5
proof
[(((((triple10 triple7) -> rule6) triple8) -> rule4))]
("Harry" "is" "cold" "+")
((((triple10 triple7) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not cold.
False
5
inv-proof
[(((((triple10 triple7) -> rule6) triple8) -> rule4))]
("Harry" "is" "cold" "-")
((((triple10 triple7) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
True
7
proof
[(((triple7 ((((triple10 triple7) -> rule6) triple8) -> rule4)) -> rule1))]
("Harry" "is" "young" "+")
((triple7 ((((triple10 triple7) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not young.
False
7
inv-proof
[(((triple7 ((((triple10 triple7) -> rule6) triple8) -> rule4)) -> rule1))]
("Harry" "is" "young" "-")
((triple7 ((((triple10 triple7) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is round.
Unknown
rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is big.
Unknown
rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Eric is green.
Unknown
random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Charlie is big.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Fred is cold.[(triple5)] Fred is rough.[(triple4)] Harry is green.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] Harry is rough.[(triple7)] Harry is round.[(triple6 OR ((((triple8 triple7) -> rule3) triple9 ((triple7 ((((triple10 triple7) -> rule6) triple8) -> rule4)) -> rule1)) -> rule2))] @1: Fred is young.[(((triple4 triple5) -> rule1))] Harry is big.[(((triple10 triple7) -> rule6))] Harry is blue.[(((triple8 triple7) -> rule3))] @2: Harry is cold.[(((((triple10 triple7) -> rule6) triple8) -> rule4))] @3: Harry is young.[(((triple7 ((((triple10 triple7) -> rule6) triple8) -> rule4)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple6
((((triple8 triple7) -> (rule3 % int5)) triple9 ((triple7 ((((triple10 triple7) -> (rule6 % int4)) triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Fred is young.
("Fred" "is" "young" "+")
((triple4 triple5) -> (rule1 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple10 triple7) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple8 triple7) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 triple7) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((triple7 ((((triple10 triple7) -> (rule6 % int3)) triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Charlie is a young and nice man, and he is also very big shaped.
To the touch Fred has rough, cold skin.
Harry has rough skin that is tinged with both red and green; He has a round shape and is nice to everyone he meets.
A rough textured and cold person is definitely young.
A person with nice, blue traits who is young will surely be a round person.
A red colored person will be rough textured and will be blue.
When you meet big guys with red hair, then tend to be cold hearted.
Young, round people seem to be big in our experience.
Being green and rough are signs that someone is big.
Green people who are kind with rosy red skin are round.