Big, red Charlie is quite kind. Eric always goes out of his way to show that he is kind to people. Fred is rough but very kind, he is also red in color and young in age. Harry is round, dresses in red, but is blue with cold. Nice blue people are often rough. A nice and blue person who's also red will be a rough person. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. If someone is a bit rough, but also nice, then they qualify as round. A red, round male or female will also be a nice male or female. Being blue, cold, and rough must be very trying. At least they are also big. Kind people who are blue with sadness and cold toward others are surprisingly red.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and nice and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and kind and blue then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Harry is round.
True
1
proof
[(triple9)]
("Harry" "is" "round" "+")
triple9
Harry is not red.
False
1
inv-proof
[(triple10)]
("Harry" "is" "red" "-")
triple10
Harry is nice.
True
3
proof
[(((triple10 triple9) -> rule5) OR ((triple12 triple10 triple9) -> rule3))]
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple12 triple10 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple10 triple9) -> rule5) OR ((triple12 triple10 triple9) -> rule3))]
("Harry" "is" "nice" "-")
((triple10 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple12 triple10 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
True
5
proof
[(((((triple10 triple9) -> rule5) triple12) -> rule1) OR ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1) OR ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2) OR ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2))]
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple12 triple10 triple9) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple12 triple10 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not rough.
False
5
inv-proof
[(((((triple10 triple9) -> rule5) triple12) -> rule1) OR ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1) OR ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2) OR ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2))]
("Harry" "is" "rough" "-")
((((triple10 triple9) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple12 triple10 triple9) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple12 triple10 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
True
8
proof
[(((triple12 triple11 ((((triple10 triple9) -> rule5) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2)) -> rule6))]
("Harry" "is" "big" "+")
((triple12 triple11 ((((triple10 triple9) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((((triple12 triple10 triple9) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not big.
False
8
inv-proof
[(((triple12 triple11 ((((triple10 triple9) -> rule5) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2)) -> rule6))]
("Harry" "is" "big" "-")
((triple12 triple11 ((((triple10 triple9) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((((triple12 triple10 triple9) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Eric is not nice.
Unknown
inv-rconc
[@2: Eric is nice.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Eric" "is" "nice" "-")
Charlie is rough.
Unknown
rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "+")
Fred is not nice.
Unknown
inv-rconc
[@3: Fred is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule3 <- FAIL)]]
("Fred" "is" "nice" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "red" "+")
Eric is not young.
Unknown
inv-random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Charlie is big.[(triple3)] Charlie is kind.[(triple2)] Charlie is red.[(triple1)] Eric is kind.[(triple4)] Fred is kind.[(triple8)] Fred is red.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Harry is nice.[(((triple10 triple9) -> rule5) OR ((triple12 triple10 triple9) -> rule3))] @2: Harry is rough.[(((((triple10 triple9) -> rule5) triple12) -> rule1) OR ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1) OR ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2) OR ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2))] @3: Harry is big.[(((triple12 triple11 ((((triple10 triple9) -> rule5) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((((triple12 triple10 triple9) -> rule3) triple12) -> rule1)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple10 triple9) -> rule5) triple10) -> rule2)) -> rule6) OR ((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> rule3) triple10) -> rule2)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is red.
("Fred" "is" "red" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
((triple10 triple9) -> (rule5 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((triple12 triple10 triple9) -> (rule3 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((((triple10 triple9) -> (rule5 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple12 triple10 triple9) -> (rule3 % int2)) triple12) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple10 triple9) -> (rule5 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((triple12 ((triple12 triple10 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple12 triple11 ((((triple10 triple9) -> (rule5 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((((triple12 triple10 triple9) -> (rule3 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple10 triple9) -> (rule5 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((triple12 triple11 ((triple12 ((triple12 triple10 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Big, red Charlie is quite kind.
Eric always goes out of his way to show that he is kind to people.
Fred is rough but very kind, he is also red in color and young in age.
Harry is round, dresses in red, but is blue with cold.
Nice blue people are often rough.
A nice and blue person who's also red will be a rough person.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
If someone is a bit rough, but also nice, then they qualify as round.
A red, round male or female will also be a nice male or female.
Being blue, cold, and rough must be very trying; At least they are also big.
Kind people who are blue with sadness and cold toward others are surprisingly red.