Alan is so big, he is often blue, but always kind. Harry is a round and big shaped young man. He is green in color and is nice. A big person who is red and nice to others is also young. It seems to be that a person who is green, red, and blue will be very big. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. A big and young, round someone looks red. Young people with red skin that play rough are actually quite kind. Big, blue people are red. People who are described as young, green, and big are often considered rough.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and nice and big then they are young.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is red and blue and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 big and young and round then they are red.
((("someone" "is" "big" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and big then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is big and green and young then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Harry is round.
True
1
proof
[(triple5)]
("Harry" "is" "round" "+")
triple5
Harry is not nice.
False
1
inv-proof
[(triple6)]
("Harry" "is" "nice" "-")
triple6
Harry is red.
True
4
proof
[(((triple8 triple4 triple5) -> rule4))]
("Harry" "is" "red" "+")
((triple8 triple4 triple5) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not rough.
False
4
inv-proof
[(((triple8 triple7 triple4) -> rule7))]
("Harry" "is" "rough" "-")
((triple8 triple7 triple4) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
True
10
proof
[(((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5))]
("Harry" "is" "kind" "+")
((triple4 ((triple8 triple7 triple4) -> (rule7 % int3)) ((triple8 triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is not kind.
False
10
inv-proof
[(((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5))]
("Harry" "is" "kind" "-")
((triple4 ((triple8 triple7 triple4) -> (rule7 % int3)) ((triple8 triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
True
16
proof
[(((((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5) ((triple8 triple7 triple4) -> rule7) triple4) -> rule3))]
("Harry" "is" "blue" "+")
((((triple4 ((triple8 triple7 triple4) -> (rule7 % int4)) ((triple8 triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8 triple7 triple4) -> (rule7 % int4)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is not blue.
False
16
inv-proof
[(((((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5) ((triple8 triple7 triple4) -> rule7) triple4) -> rule3))]
("Harry" "is" "blue" "-")
((((triple4 ((triple8 triple7 triple4) -> (rule7 % int4)) ((triple8 triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8 triple7 triple4) -> (rule7 % int4)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Charlie is not red.
Unknown
inv-rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is kind.[(triple1)] Harry is big.[(triple8)] Harry is green.[(triple7)] Harry is nice.[(triple6)] Harry is round.[(triple5)] Harry is young.[(triple4)] @1: Alan is red.[(((triple2 triple3) -> rule6))] Harry is red.[(((triple8 triple4 triple5) -> rule4))] Harry is rough.[(((triple8 triple7 triple4) -> rule7))] @2: Harry is kind.[(((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5))] @3: Harry is blue.[(((((triple4 ((triple8 triple7 triple4) -> rule7) ((triple8 triple4 triple5) -> rule4)) -> rule5) ((triple8 triple7 triple4) -> rule7) triple4) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
((triple2 triple3) -> (rule6 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple8 triple4 triple5) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple8 triple7 triple4) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple4 ((triple8 triple7 triple4) -> (rule7 % int3)) ((triple8 triple4 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((triple4 ((triple8 triple7 triple4) -> (rule7 % int4)) ((triple8 triple4 triple5) -> (rule4 % int3))) -> (rule5 % int2)) ((triple8 triple7 triple4) -> (rule7 % int4)) triple4) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Alan is so big, he is often blue, but always kind.
Harry is a round and big shaped young man; He is green in color and is nice.
A big person who is red and nice to others is also young.
It seems to be that a person who is green, red, and blue will be very big.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
A big and young, round someone looks red.
Young people with red skin that play rough are actually quite kind.
Big, blue people are red.
People who are described as young, green, and big are often considered rough.