Bob is very young to be a nurse but he loves helping others because he is so nice and kind. Fred gets red when he is mad and tends to act very cold. Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Kind young people are red. Big and round people who arent cold, tend to be very kind. A big, nice, blue person is likely to be young. Nice people who are looking green and seeing red usually feel rather rough. Kind young people are also red and green.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is kind and young then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and big and round then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and nice and blue then they are young.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and green and red then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and young and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
Bob is young.
True
1
proof
[(triple1)]
("Bob" "is" "young" "+")
triple1
Gary is not green.
False
1
inv-proof
[(triple9)]
("Gary" "is" "green" "-")
triple9
Gary is rough.
True
4
proof
[(((triple7 triple9 triple6) -> rule4))]
("Gary" "is" "rough" "+")
((triple7 triple9 triple6) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is not red.
False
3
inv-proof
[(((triple3 triple1) -> rule1))]
("Bob" "is" "red" "-")
((triple3 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
True
6
proof
[(((((triple3 triple1) -> rule1) triple1 triple3) -> rule5))]
("Bob" "is" "green" "+")
((((triple3 triple1) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is not green.
False
6
inv-proof
[(((((triple3 triple1) -> rule1) triple1 triple3) -> rule5))]
("Bob" "is" "green" "-")
((((triple3 triple1) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
True
11
proof
[(((triple2 ((((triple3 triple1) -> rule1) triple1 triple3) -> rule5) ((triple3 triple1) -> rule1)) -> rule4))]
("Bob" "is" "rough" "+")
((triple2 ((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule5 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is not rough.
False
11
inv-proof
[(((triple2 ((((triple3 triple1) -> rule1) triple1 triple3) -> rule5) ((triple3 triple1) -> rule1)) -> rule4))]
("Bob" "is" "rough" "-")
((triple2 ((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule5 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Fred is cold.[(triple5)] Fred is red.[(triple4)] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is red.[(triple6)] @1: Bob is red.[(((triple3 triple1) -> rule1))] Gary is rough.[(((triple7 triple9 triple6) -> rule4))] @2: Bob is green.[(((((triple3 triple1) -> rule1) triple1 triple3) -> rule5))] @3: Bob is rough.[(((triple2 ((((triple3 triple1) -> rule1) triple1 triple3) -> rule5) ((triple3 triple1) -> rule1)) -> rule4))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
((triple3 triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple9 triple6) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3 triple1) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((((triple3 triple1) -> (rule1 % int3)) triple1 triple3) -> (rule5 % int2)) ((triple3 triple1) -> (rule1 % int3))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is very young to be a nurse but he loves helping others because he is so nice and kind.
Fred gets red when he is mad and tends to act very cold.
Gary who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Kind young people are red.
Big and round people who arent cold, tend to be very kind.
A big, nice, blue person is likely to be young.
Nice people who are looking green and seeing red usually feel rather rough.
Kind young people are also red and green.