There is a very nice young man with a round body who is wearing green named Alan. Charlie grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Fred may seem round and rough, but he's actually nice. Don't be intimidated by his blue skin and big body. They always call him rough Harry. Nice people that are blue because they are cold turn green with envy. If the description of nice and green applies to somebody, the description of young will, too. Someone who is not kind, will see red and be cold, which leads them to always feel blue. Big people who are round in stature and also feel rough are often cold to other people. Someone who is very rough and big in size, and also has a round physique tend to be very cold. Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.
Alan is young.
("Alan" "is" "young" "+")
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is green.
("Alan" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and nice and big then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Fred is nice.
True
1
proof
[(triple9)]
("Fred" "is" "nice" "+")
triple9
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Fred is cold.
True
4
proof
[(((triple11 triple8 triple7) -> rule4) OR ((triple8 triple11 triple7) -> rule5))]
("Fred" "is" "cold" "+")
((triple11 triple8 triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple8 triple11 triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is not cold.
False
4
inv-proof
[(((triple11 triple8 triple7) -> rule4) OR ((triple8 triple11 triple7) -> rule5))]
("Fred" "is" "cold" "-")
((triple11 triple8 triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple8 triple11 triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
True
7
proof
[(((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) OR ((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1))]
("Fred" "is" "green" "+")
((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is not green.
False
7
inv-proof
[(((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) OR ((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1))]
("Fred" "is" "green" "-")
((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
True
9
proof
[(((((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) triple9) -> rule2) OR ((((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1) triple9) -> rule2))]
("Fred" "is" "young" "+")
((((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is not young.
False
9
inv-proof
[(((((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) triple9) -> rule2) OR ((((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1) triple9) -> rule2))]
("Fred" "is" "young" "-")
((((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "+")
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Alan is not red.
Unknown
inv-random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is green.[(triple4)] Alan is nice.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1 OR ((triple4 triple3) -> rule2))] Charlie is blue.[(triple6)] Charlie is rough.[(triple5)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is nice.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Harry is rough.[(triple12)] @1: Fred is cold.[(((triple11 triple8 triple7) -> rule4) OR ((triple8 triple11 triple7) -> rule5))] @2: Fred is green.[(((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) OR ((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1))] Fred is kind.[(((((triple11 triple8 triple7) -> rule4) triple9 triple11) -> rule6) OR ((((triple8 triple11 triple7) -> rule5) triple9 triple11) -> rule6))] @3: Fred is young.[(((((triple10 triple9 ((triple11 triple8 triple7) -> rule4)) -> rule1) triple9) -> rule2) OR ((((triple10 triple9 ((triple8 triple11 triple7) -> rule5)) -> rule1) triple9) -> rule2))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is round.
("Alan" "is" "round" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
((triple4 triple3) -> (rule2 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
((triple11 triple8 triple7) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
((triple8 triple11 triple7) -> (rule5 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple11 triple8 triple7) -> (rule4 % int2)) triple9 triple11) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
((((triple8 triple11 triple7) -> (rule5 % int2)) triple9 triple11) -> (rule6 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple10 triple9 ((triple11 triple8 triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
((((triple10 triple9 ((triple8 triple11 triple7) -> (rule5 % int3))) -> (rule1 % int2)) triple9) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
There is a very nice young man with a round body who is wearing green named Alan.
Charlie grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Fred may seem round and rough, but he's actually nice; Don't be intimidated by his blue skin and big body.
They always call him rough Harry.
Nice people that are blue because they are cold turn green with envy.
If the description of nice and green applies to somebody, the description of young will, too.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
Big people who are round in stature and also feel rough are often cold to other people.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.
Big people who at the same time are cold hearted and nice are a conundrum but they are also kind.