Young, red Bob is nice. That man standing next to you with a big round body goes by the name of Eric. Fred always goes out of his way to show that he is kind to people. I knew Harry was young, and rough, but he surprised me with how cold and blue he acted. I've noticed that someone with a round shape is also green. Most green and round people,though big are quite young. Rough young folks are surprisingly kind. People who are rough and nice and blue can be round. Round, young folks tend to feel blue.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is green and round and big then they are young.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and nice and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Bob is red.
True
1
proof
[(triple2)]
("Bob" "is" "red" "+")
triple2
Eric is not round.
False
1
inv-proof
[(triple4)]
("Eric" "is" "round" "-")
triple4
Harry is kind.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Harry" "is" "kind" "+")
((triple7 triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is not green.
False
2
inv-proof
[(((triple4) -> rule1))]
("Eric" "is" "green" "-")
((triple4) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is young.
True
5
proof
[(((((triple4) -> rule1) triple4 triple5) -> rule2))]
("Eric" "is" "young" "+")
((((triple4) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is not young.
False
5
inv-proof
[(((((triple4) -> rule1) triple4 triple5) -> rule2))]
("Eric" "is" "young" "-")
((((triple4) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
True
7
proof
[(((triple4 ((((triple4) -> rule1) triple4 triple5) -> rule2)) -> rule5))]
("Eric" "is" "blue" "+")
((triple4 ((((triple4) -> (rule1 % int3)) triple4 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Eric is not blue.
False
7
inv-proof
[(((triple4 ((((triple4) -> rule1) triple4 triple5) -> rule2)) -> rule5))]
("Eric" "is" "blue" "-")
((triple4 ((((triple4) -> (rule1 % int3)) triple4 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Eric is kind.
Unknown
rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "kind" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Eric is big.[(triple5)] Eric is round.[(triple4)] Fred is kind.[(triple6)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Eric is green.[(((triple4) -> rule1))] Harry is kind.[(((triple7 triple8) -> rule3))] @2: Eric is young.[(((((triple4) -> rule1) triple4 triple5) -> rule2))] @3: Eric is blue.[(((triple4 ((((triple4) -> rule1) triple4 triple5) -> rule2)) -> rule5))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
((triple4) -> (rule1 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7 triple8) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
((((triple4) -> (rule1 % int2)) triple4 triple5) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 ((((triple4) -> (rule1 % int3)) triple4 triple5) -> (rule2 % int2))) -> (rule5 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is green.
("Eric" "is" "green" "+")
int3
Young, red Bob is nice.
That man standing next to you with a big round body goes by the name of Eric.
Fred always goes out of his way to show that he is kind to people.
I knew Harry was young, and rough, but he surprised me with how cold and blue he acted.
I've noticed that someone with a round shape is also green.
Most green and round people,though big are quite young.
Rough young folks are surprisingly kind.
People who are rough and nice and blue can be round.
Round, young folks tend to feel blue.