Alan is big and rough. Bob is green, which is a possible explanation for why he is so nice. Dave is so young and darling he is kind to all the old people on the block. Harry is young and rough and comes across as cold, but he is just young and green. Really, he is as nice and kind as you could want. Big and green people who feel cold are usually young in age. A person who is nice and green with envy is round. Young, round, and cold people have a habit of looking pretty red. Anyone that is a red, nice soul will be big, too. If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children. A kind person who is big in size is definitely young. If someone is red and green and feeels rough, they are kind.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is green and big and cold then they are young.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young and round then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is red and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and big and nice then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and green and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
Bob is green.
True
1
proof
[(triple4)]
("Bob" "is" "green" "+")
triple4
Alan is not rough.
False
1
inv-proof
[(triple1)]
("Alan" "is" "rough" "-")
triple1
Harry is round.
True
3
proof
[(((triple9 triple11) -> rule2))]
("Harry" "is" "round" "+")
((triple9 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is not round.
False
3
inv-proof
[(((triple9 triple11) -> rule2))]
("Harry" "is" "round" "-")
((triple9 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
True
6
proof
[(((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3))]
("Harry" "is" "red" "+")
((triple12 triple7 ((triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is not red.
False
6
inv-proof
[(((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3))]
("Harry" "is" "red" "-")
((triple12 triple7 ((triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
True
8
proof
[(((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4))]
("Harry" "is" "big" "+")
((((triple12 triple7 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is not big.
False
8
inv-proof
[(((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4))]
("Harry" "is" "big" "-")
((((triple12 triple7 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is kind.
Unknown
rconc
[@3: Bob is kind.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule7 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not young.
Unknown
inv-rconc
[@3: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Alan is big.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple4)] Bob is nice.[(triple3)] Dave is kind.[(triple6)] Dave is young.[(triple5)] Harry is cold.[(triple12)] Harry is green.[(triple11)] Harry is kind.[(triple10 OR ((triple8 triple11 ((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3)) -> rule7) OR ((triple7 ((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4) triple9) -> rule5))] Harry is nice.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Bob is round.[(((triple3 triple4) -> rule2))] Harry is round.[(((triple9 triple11) -> rule2))] @2: Harry is red.[(((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3))] @3: Harry is big.[(((((triple12 triple7 ((triple9 triple11) -> rule2)) -> rule3) triple9) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
((triple8 triple11 ((triple12 triple7 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
((triple7 ((((triple12 triple7 ((triple9 triple11) -> (rule2 % int4))) -> (rule3 % int3)) triple9) -> (rule4 % int2)) triple9) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is round.
("Harry" "is" "round" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is round.
("Bob" "is" "round" "+")
((triple3 triple4) -> (rule2 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple9 triple11) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple12 triple7 ((triple9 triple11) -> (rule2 % int2))) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple12 triple7 ((triple9 triple11) -> (rule2 % int3))) -> (rule3 % int2)) triple9) -> (rule4 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Alan is big and rough.
Bob is green, which is a possible explanation for why he is so nice.
Dave is so young and darling he is kind to all the old people on the block.
Harry is young and rough and comes across as cold, but he is just young and green; Really, he is as nice and kind as you could want.
Big and green people who feel cold are usually young in age.
A person who is nice and green with envy is round.
Young, round, and cold people have a habit of looking pretty red.
Anyone that is a red, nice soul will be big, too.
If someone is young at heart and has big toes as well as being nice to others then you'll see that they are also kind to children.
A kind person who is big in size is definitely young.
If someone is red and green and feeels rough, they are kind.