Bob is a nice person who is red because he has a rash. Charlie is young and kind.  But he plays really rough with his friends. Eric looks big and is kind with red hair and green shoes. Gary gets red when he is mad and tends to act very cold. It's a fact that young people are red people. A person with nice, blue traits who is young will surely be a round person. People who are blue and red and kind are described as being green. Big, round, red people are always so young. If you meet a kind green person with a round shape they will also be young. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is red and kind and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Gary is red.
True
1
proof
[(triple10)]
("Gary" "is" "red" "+")
triple10
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Charlie is red.
True
2
proof
[(((triple3) -> rule1))]
("Charlie" "is" "red" "+")
((triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Charlie" "is" "red" "-")
((triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
True
5
proof
[(((((triple3) -> rule1) triple3 triple4) -> rule6))]
("Charlie" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((((triple3) -> rule1) triple3 triple4) -> rule6))]
("Charlie" "is" "blue" "-")
((((triple3) -> (rule1 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
True
9
proof
[(((((triple3) -> rule1) triple5 ((((triple3) -> rule1) triple3 triple4) -> rule6)) -> rule3))]
("Charlie" "is" "green" "+")
((((triple3) -> (rule1 % int3)) triple5 ((((triple3) -> (rule1 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not green.
False
9
inv-proof
[(((((triple3) -> rule1) triple5 ((((triple3) -> rule1) triple3 triple4) -> rule6)) -> rule3))]
("Charlie" "is" "green" "-")
((((triple3) -> (rule1 % int3)) triple5 ((((triple3) -> (rule1 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@1: Eric is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "round" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "blue" "+")
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "green" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is kind.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Gary is cold.[(triple11)] Gary is red.[(triple10)] @1: Charlie is red.[(((triple3) -> rule1))] @2: Charlie is blue.[(((((triple3) -> rule1) triple3 triple4) -> rule6))] @3: Charlie is green.[(((((triple3) -> rule1) triple5 ((((triple3) -> rule1) triple3 triple4) -> rule6)) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple3) -> (rule1 % int2)) triple3 triple4) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule1 % int3)) triple5 ((((triple3) -> (rule1 % int3)) triple3 triple4) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob is a nice person who is red because he has a rash.
Charlie is young and kind; But he plays really rough with his friends.
Eric looks big and is kind with red hair and green shoes.
Gary gets red when he is mad and tends to act very cold.
It's a fact that young people are red people.
A person with nice, blue traits who is young will surely be a round person.
People who are blue and red and kind are described as being green.
Big, round, red people are always so young.
If you meet a kind green person with a round shape they will also be young.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.