Bob is blue from ink he spilled on himself while being kind and helping some children paint. Young Eric is wearing green pants. Upon meeting Fred, you'll notice he's green and kind. Harry was born only a few years ago so he is young. Someone who feels blue with rough skin is also kind and will be young. Whenever you are around kind and green people, you will notice they are very red. Among the green people who are young, the color blue is always part of them. When you meet someone with cold, rough skin and a round figure they will be nice. A young, big sized person will certainly be a kind one. A person that is green also someone who is big.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Fred is big.
True
2
proof
[(((triple6) -> rule6))]
("Fred" "is" "big" "+")
((triple6) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple4 triple3) -> rule3))]
("Eric" "is" "blue" "-")
((triple4 triple3) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
True
4
proof
[(((triple3 ((triple4) -> rule6)) -> rule5))]
("Eric" "is" "kind" "+")
((triple3 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not kind.
False
4
inv-proof
[(((triple3 ((triple4) -> rule6)) -> rule5))]
("Eric" "is" "kind" "-")
((triple3 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
True
6
proof
[(((((triple3 ((triple4) -> rule6)) -> rule5) triple4) -> rule2))]
("Eric" "is" "red" "+")
((((triple3 ((triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not red.
False
6
inv-proof
[(((((triple3 ((triple4) -> rule6)) -> rule5) triple4) -> rule2))]
("Eric" "is" "red" "-")
((((triple3 ((triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Fred is blue.
Unknown
rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not nice.
Unknown
inv-rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "nice" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is blue.[(triple2)] Bob is kind.[(triple1)] Eric is green.[(triple4)] Eric is young.[(triple3)] Fred is green.[(triple6)] Fred is kind.[(triple5)] Harry is young.[(triple7)] @1: Eric is big.[(((triple4) -> rule6))] Eric is blue.[(((triple4 triple3) -> rule3))] Fred is big.[(((triple6) -> rule6))] Fred is red.[(((triple5 triple6) -> rule2))] @2: Eric is kind.[(((triple3 ((triple4) -> rule6)) -> rule5))] @3: Eric is red.[(((((triple3 ((triple4) -> rule6)) -> rule5) triple4) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is big.
("Eric" "is" "big" "+")
((triple4) -> (rule6 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple4 triple3) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple6) -> (rule6 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple5 triple6) -> (rule2 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple3 ((triple4) -> (rule6 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
((((triple3 ((triple4) -> (rule6 % int3))) -> (rule5 % int2)) triple4) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Young Eric is wearing green pants.
Upon meeting Fred, you'll notice he's green and kind.
Harry was born only a few years ago so he is young.
Someone who feels blue with rough skin is also kind and will be young.
Whenever you are around kind and green people, you will notice they are very red.
Among the green people who are young, the color blue is always part of them.
When you meet someone with cold, rough skin and a round figure they will be nice.
A young, big sized person will certainly be a kind one.
A person that is green also someone who is big.