That big rough Bob guy is both red and blue at the same time. Eric is a young man who is also kind, blue and rough. 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. Someone who feels blue with rough skin is also kind and will be young. A nice green person that tends to be rough will indeed be round too. Any human being with green, big, kind eyes, also has round eyes. If you are green you are also kind. If a nice person is round shaped, they feel blue about it. Being blue, cold, and rough must be very trying. At least they are also big. A big and rough person who is blue is also considered to be green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is blue.
("Fred" "is" "blue" "+")
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 green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is green and big and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and blue then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Eric is kind.
True
1
proof
[(triple7)]
("Eric" "is" "kind" "+")
triple7
Fred is not rough.
False
1
inv-proof
[(triple9)]
("Fred" "is" "rough" "-")
triple9
Bob is green.
True
4
proof
[(((triple1 triple4 triple3) -> rule7))]
("Bob" "is" "green" "+")
((triple1 triple4 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
4
inv-proof
[(((triple1 triple4 triple3) -> rule7))]
("Bob" "is" "green" "-")
((triple1 triple4 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
True
5
proof
[(((((triple1 triple4 triple3) -> rule7)) -> rule4))]
("Bob" "is" "kind" "+")
((((triple1 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((((triple1 triple4 triple3) -> rule7)) -> rule4))]
("Bob" "is" "kind" "-")
((((triple1 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is young.
True
8
proof
[(((((((triple1 triple4 triple3) -> rule7)) -> rule4) triple3 triple1) -> rule1))]
("Bob" "is" "young" "+")
((((((triple1 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not young.
False
8
inv-proof
[(((((((triple1 triple4 triple3) -> rule7)) -> rule4) triple3 triple1) -> rule1))]
("Bob" "is" "young" "-")
((((((triple1 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Fred is young.
Unknown
rconc
[@4: Fred is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- rule6 <- FAIL)]]
("Fred" "is" "young" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Fred" "is" "round" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is big.[(triple4)] Bob is blue.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Eric is blue.[(triple8)] Eric is kind.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5 OR ((triple7 triple8 triple6) -> rule1))] Fred is blue.[(triple10)] Fred is rough.[(triple9)] @1: Bob is green.[(((triple1 triple4 triple3) -> rule7))] @2: Bob is kind.[(((((triple1 triple4 triple3) -> rule7)) -> rule4))] @3: Bob is round.[(((((triple1 triple4 triple3) -> rule7) triple4 ((((triple1 triple4 triple3) -> rule7)) -> rule4)) -> rule3))] Bob is young.[(((((((triple1 triple4 triple3) -> rule7)) -> rule4) triple3 triple1) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple8
Eric is kind.
("Eric" "is" "kind" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
((triple7 triple8 triple6) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
((triple1 triple4 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple1 triple4 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
((((triple1 triple4 triple3) -> (rule7 % int3)) triple4 ((((triple1 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((((triple1 triple4 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple3 triple1) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
That big rough Bob guy is both red and blue at the same time.
Eric is a young man who is also kind, blue and rough.
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.
Someone who feels blue with rough skin is also kind and will be young.
A nice green person that tends to be rough will indeed be round too.
Any human being with green, big, kind eyes, also has round eyes.
If you are green you are also kind.
If a nice person is round shaped, they feel blue about it.
Being blue, cold, and rough must be very trying; At least they are also big.
A big and rough person who is blue is also considered to be green.