Kind young Bob is also a nice person that became red and green from painting Christmas decorations. Fred grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Harry is a kind and red colored guy. Surprisingly, all the kind, green people were also big. Young, round, and cold people have a habit of looking pretty red. When a nice blue person is also red, they get called rough. Being big and kind like a gentle giant can make anyone blue. Young people that are big in size, tend to be more on the blue side. People who are considered rough, blue, and nice, are also green.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
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 nice and red and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and kind then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Fred is not rough.
False
1
inv-proof
[(triple6)]
("Fred" "is" "rough" "-")
triple6
Bob is big.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "big" "-")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
True
5
proof
[(((((triple4 triple5) -> rule1) triple1) -> rule5) OR ((((triple4 triple5) -> rule1) triple4) -> rule4))]
("Bob" "is" "blue" "+")
((((triple4 triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not blue.
False
5
inv-proof
[(((((triple4 triple5) -> rule1) triple1) -> rule5) OR ((((triple4 triple5) -> rule1) triple4) -> rule4))]
("Bob" "is" "blue" "-")
((((triple4 triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
True
8
proof
[(((triple3 triple2 ((((triple4 triple5) -> rule1) triple1) -> rule5)) -> rule3) OR ((triple3 triple2 ((((triple4 triple5) -> rule1) triple4) -> rule4)) -> rule3))]
("Bob" "is" "rough" "+")
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not rough.
False
8
inv-proof
[(((triple3 triple2 ((((triple4 triple5) -> rule1) triple1) -> rule5)) -> rule3) OR ((triple3 triple2 ((((triple4 triple5) -> rule1) triple4) -> rule4)) -> rule3))]
("Bob" "is" "rough" "-")
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is red.
Unknown
rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "red" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
@0: Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is blue.[(triple7)] Fred is rough.[(triple6)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Bob is big.[(((triple4 triple5) -> rule1))] @2: Bob is blue.[(((((triple4 triple5) -> rule1) triple1) -> rule5) OR ((((triple4 triple5) -> rule1) triple4) -> rule4))] @3: Bob is rough.[(((triple3 triple2 ((((triple4 triple5) -> rule1) triple1) -> rule5)) -> rule3) OR ((triple3 triple2 ((((triple4 triple5) -> rule1) triple4) -> rule4)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Bob is big.
("Bob" "is" "big" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((((triple4 triple5) -> (rule1 % int2)) triple1) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((triple4 triple5) -> (rule1 % int2)) triple4) -> (rule4 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple1) -> (rule5 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((triple3 triple2 ((((triple4 triple5) -> (rule1 % int3)) triple4) -> (rule4 % int2))) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Kind young Bob is also a nice person that became red and green from painting Christmas decorations.
Fred grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Harry is a kind and red colored guy.
Surprisingly, all the kind, green people were also big.
Young, round, and cold people have a habit of looking pretty red.
When a nice blue person is also red, they get called rough.
Being big and kind like a gentle giant can make anyone blue.
Young people that are big in size, tend to be more on the blue side.
People who are considered rough, blue, and nice, are also green.