Bob associated himself with green despite being covered head-to-toe in blue. Him being young and kind preceded him. In the snow sits Charlie, crying from being cold. Dave is a nice person who is red because he has a rash. Harry a big man for his young age. he has red hair and can be rough. A kind, cold, round person will be nice in addition. It is true that kind people who have become cold and blue and survived are necessarily big. I have found that young, blue, and big individuals are also red. Young people tend to be blue all the time and rough. People that feel green are cold to people that try to help them. A person who is kind but also rough and is also colored blue, will be shaped round. People that are big but also green, may ultimately be very nice.
Bob is young.
("Bob" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is cold and round and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and cold and kind then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Charlie is cold.
True
1
proof
[(triple5)]
("Charlie" "is" "cold" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple7)]
("Dave" "is" "nice" "-")
triple7
Bob is rough.
True
3
proof
[(((triple4 triple1) -> rule4))]
("Bob" "is" "rough" "+")
((triple4 triple1) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple3) -> rule5))]
("Bob" "is" "cold" "-")
((triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
True
5
proof
[(((triple4 ((triple3) -> rule5) triple2) -> rule2))]
("Bob" "is" "big" "+")
((triple4 ((triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is not round.
False
6
inv-proof
[(((triple2 ((triple4 triple1) -> rule4) triple4) -> rule6))]
("Bob" "is" "round" "-")
((triple2 ((triple4 triple1) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
True
8
proof
[(((triple1 triple4 ((triple4 ((triple3) -> rule5) triple2) -> rule2)) -> rule3))]
("Bob" "is" "red" "+")
((triple1 triple4 ((triple4 ((triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not red.
False
8
inv-proof
[(((triple1 triple4 ((triple4 ((triple3) -> rule5) triple2) -> rule2)) -> rule3))]
("Bob" "is" "red" "-")
((triple1 triple4 ((triple4 ((triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is blue.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Charlie is cold.[(triple5)] Dave is nice.[(triple7)] Dave is red.[(triple6)] Harry is big.[(triple11)] Harry is red.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Bob is cold.[(((triple3) -> rule5))] Bob is rough.[(((triple4 triple1) -> rule4))] @2: Bob is big.[(((triple4 ((triple3) -> rule5) triple2) -> rule2))] Bob is round.[(((triple2 ((triple4 triple1) -> rule4) triple4) -> rule6))] @3: Bob is nice.[(((((triple4 ((triple3) -> rule5) triple2) -> rule2) triple3) -> rule7) OR ((((triple3) -> rule5) ((triple2 ((triple4 triple1) -> rule4) triple4) -> rule6) triple2) -> rule1))] Bob is red.[(((triple1 triple4 ((triple4 ((triple3) -> rule5) triple2) -> rule2)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is red.
("Dave" "is" "red" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple3) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 triple1) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple4 ((triple3) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((triple2 ((triple4 triple1) -> (rule4 % int2)) triple4) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple4 ((triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2)) triple3) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((triple3) -> (rule5 % int4)) ((triple2 ((triple4 triple1) -> (rule4 % int3)) triple4) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((triple1 triple4 ((triple4 ((triple3) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob associated himself with green despite being covered head-to-toe in blue; Him being young and kind preceded him.
In the snow sits Charlie, crying from being cold.
Dave is a nice person who is red because he has a rash.
Harry a big man for his young age; he has red hair and can be rough.
A kind, cold, round person will be nice in addition.
It is true that kind people who have become cold and blue and survived are necessarily big.
I have found that young, blue, and big individuals are also red.
Young people tend to be blue all the time and rough.
People that feel green are cold to people that try to help them.
A person who is kind but also rough and is also colored blue, will be shaped round.
People that are big but also green, may ultimately be very nice.