That rough but kind guy is Dave, the green one. Fred is still young and round, but he is nice to everyone and kind to animals. Harry wears all blue. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. Someone who has a a young round face is often rough around the edges. Those who are nice but a bit rough around the edges are known for being blue. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. A person described as cold and kind can also be described as nice. A human that's round, red and kind will be also be a green human. A blue, rough and round person will also be a big person.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Fred is kind.
True
1
proof
[(triple7)]
("Fred" "is" "kind" "+")
triple7
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Fred is rough.
True
3
proof
[(((triple5 triple4) -> rule2))]
("Fred" "is" "rough" "+")
((triple5 triple4) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("Fred" "is" "rough" "-")
((triple5 triple4) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
True
5
proof
[(((triple6 ((triple5 triple4) -> rule2)) -> rule3) OR ((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4))]
("Fred" "is" "blue" "+")
((triple6 ((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple7 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not blue.
False
5
inv-proof
[(((triple6 ((triple5 triple4) -> rule2)) -> rule3) OR ((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4))]
("Fred" "is" "blue" "-")
((triple6 ((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple7 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
True
10
proof
[(((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) OR ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7))]
("Fred" "is" "big" "+")
((((triple6 ((triple5 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple7 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule4 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not big.
False
10
inv-proof
[(((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) OR ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7))]
("Fred" "is" "big" "-")
((((triple6 ((triple5 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple7 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule4 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is cold.
True
15
proof
[(((((triple5 triple4) -> rule2) ((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1) OR ((((triple5 triple4) -> rule2) ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1))]
("Fred" "is" "cold" "+")
((((triple5 triple4) -> (rule2 % int4)) ((((triple6 ((triple5 triple4) -> (rule2 % int4))) -> (rule3 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule2 % int4)) ((((triple7 ((triple5 triple4) -> (rule2 % int4)) triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is not cold.
False
15
inv-proof
[(((((triple5 triple4) -> rule2) ((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1) OR ((((triple5 triple4) -> rule2) ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1))]
("Fred" "is" "cold" "-")
((((triple5 triple4) -> (rule2 % int4)) ((((triple6 ((triple5 triple4) -> (rule2 % int4))) -> (rule3 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule2 % int4)) ((((triple7 ((triple5 triple4) -> (rule2 % int4)) triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Eric is not cold.
Unknown
inv-rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Dave" "is" "nice" "+")
Eric is not big.
Unknown
inv-rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "nice" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Dave" "is" "big" "-")
Fred is red.
Unknown
random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "+")
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is rough.[(triple1)] Fred is kind.[(triple7)] Fred is nice.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple8)] @1: Fred is rough.[(((triple5 triple4) -> rule2))] @2: Fred is blue.[(((triple6 ((triple5 triple4) -> rule2)) -> rule3) OR ((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4))] @3: Fred is big.[(((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) OR ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7))] @4: Fred is cold.[(((((triple5 triple4) -> rule2) ((((triple6 ((triple5 triple4) -> rule2)) -> rule3) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1) OR ((((triple5 triple4) -> rule2) ((((triple7 ((triple5 triple4) -> rule2) triple4) -> rule4) ((triple5 triple4) -> rule2) triple5) -> rule7) triple6) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
((triple5 triple4) -> (rule2 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 ((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
((triple7 ((triple5 triple4) -> (rule2 % int2)) triple4) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple6 ((triple5 triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
((((triple7 ((triple5 triple4) -> (rule2 % int3)) triple4) -> (rule4 % int2)) ((triple5 triple4) -> (rule2 % int3)) triple5) -> (rule7 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((triple5 triple4) -> (rule2 % int4)) ((((triple6 ((triple5 triple4) -> (rule2 % int4))) -> (rule3 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
((((triple5 triple4) -> (rule2 % int4)) ((((triple7 ((triple5 triple4) -> (rule2 % int4)) triple4) -> (rule4 % int3)) ((triple5 triple4) -> (rule2 % int4)) triple5) -> (rule7 % int2)) triple6) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
That rough but kind guy is Dave, the green one.
Fred is still young and round, but he is nice to everyone and kind to animals.
Harry wears all blue.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
Someone who has a a young round face is often rough around the edges.
Those who are nice but a bit rough around the edges are known for being blue.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
A person described as cold and kind can also be described as nice.
A human that's round, red and kind will be also be a green human.
A blue, rough and round person will also be a big person.