They always call him rough Bob. Young Eric was known to be nice and kind, even though he was blue. Fred is very nice to people, but he's also rather big. In the snow sits Harry, crying from being cold. Big, kind people that are rough are known for being red. A person who is nice and green with envy is round. A quite nice person will certainly be red. A nice and kind natured person that is big in shape will be rough. Nice people who are kind, despite their rough skin, are big hearted. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Bob is rough.
("Bob" "is" "rough" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is big and kind and rough then they are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and green then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and big and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Fred is nice.
True
1
proof
[(triple6)]
("Fred" "is" "nice" "+")
triple6
Eric is not blue.
False
1
inv-proof
[(triple5)]
("Eric" "is" "blue" "-")
triple5
Fred is red.
True
2
proof
[(((triple6) -> rule3))]
("Fred" "is" "red" "+")
((triple6) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is not red.
False
2
inv-proof
[(((triple3) -> rule3))]
("Eric" "is" "red" "-")
((triple3) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is green.
True
5
proof
[(((triple5 ((triple3) -> rule3) triple4) -> rule6))]
("Eric" "is" "green" "+")
((triple5 ((triple3) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is not green.
False
5
inv-proof
[(((triple5 ((triple3) -> rule3) triple4) -> rule6))]
("Eric" "is" "green" "-")
((triple5 ((triple3) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
True
7
proof
[(((triple3 ((triple5 ((triple3) -> rule3) triple4) -> rule6)) -> rule2))]
("Eric" "is" "round" "+")
((triple3 ((triple5 ((triple3) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not round.
False
7
inv-proof
[(((triple3 ((triple5 ((triple3) -> rule3) triple4) -> rule6)) -> rule2))]
("Eric" "is" "round" "-")
((triple3 ((triple5 ((triple3) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Eric is not rough.
Unknown
inv-rconc
[@2: Eric is rough.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("Eric" "is" "rough" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Bob is rough.[(triple1)] Eric is blue.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Eric is young.[(triple2)] Fred is big.[(triple7)] Fred is nice.[(triple6)] Harry is cold.[(triple8)] @1: Eric is red.[(((triple3) -> rule3))] Fred is red.[(((triple6) -> rule3))] @2: Eric is green.[(((triple5 ((triple3) -> rule3) triple4) -> rule6))] @3: Eric is round.[(((triple3 ((triple5 ((triple3) -> rule3) triple4) -> rule6)) -> rule2))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is nice.
("Eric" "is" "nice" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
((triple3) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple6) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((triple5 ((triple3) -> (rule3 % int2)) triple4) -> (rule6 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple3 ((triple5 ((triple3) -> (rule3 % int3)) triple4) -> (rule6 % int2))) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
They always call him rough Bob.
Young Eric was known to be nice and kind, even though he was blue.
Fred is very nice to people, but he's also rather big.
In the snow sits Harry, crying from being cold.
Big, kind people that are rough are known for being red.
A person who is nice and green with envy is round.
A quite nice person will certainly be red.
A nice and kind natured person that is big in shape will be rough.
Nice people who are kind, despite their rough skin, are big hearted.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.