Bob has rough skin so it is red. He is big but so very kind. Eric is big and tends to wear red shirts. Fred has a round,red,rough looking face with kind eyes. Gary wears all blue. When a young person has a round shape and feels blue, they will be green as well. Maybe someone is rough and blue with the cold. A round shaped and rough person will be blue as well. Big and cold people are likely to be round, too. People who are nice and rough are looked at as kind. Somebody having round, cold and kind traits is also sure to be young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and round and young then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is round and kind and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fred is round.
True
1
proof
[(triple7)]
("Fred" "is" "round" "+")
triple7
Fred is not red.
False
1
inv-proof
[(triple9)]
("Fred" "is" "red" "-")
triple9
Fred is blue.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Fred" "is" "blue" "+")
((triple8 triple7) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Fred" "is" "blue" "-")
((triple8 triple7) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
True
5
proof
[(((triple8 ((triple8 triple7) -> rule3)) -> rule2))]
("Fred" "is" "cold" "+")
((triple8 ((triple8 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is not cold.
False
5
inv-proof
[(((triple8 ((triple8 triple7) -> rule3)) -> rule2))]
("Fred" "is" "cold" "-")
((triple8 ((triple8 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
True
8
proof
[(((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6))]
("Fred" "is" "young" "+")
((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not young.
False
8
inv-proof
[(((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6))]
("Fred" "is" "young" "-")
((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is green.
True
13
proof
[(((((triple8 triple7) -> rule3) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6)) -> rule1))]
("Fred" "is" "green" "+")
((((triple8 triple7) -> (rule3 % int4)) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not green.
False
13
inv-proof
[(((((triple8 triple7) -> rule3) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6)) -> rule1))]
("Fred" "is" "green" "-")
((((triple8 triple7) -> (rule3 % int4)) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "kind" "-")
Bob is round.
Unknown
rconc
[@3: Bob is round.[CWA. Example of deepest failure = (rule4 <- rule2 <- rule3 <- FAIL)]]
("Bob" "is" "round" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "blue" "-")
Gary is round.
Unknown
rconc
[@1: Gary is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "round" "+")
Bob is not young.
Unknown
inv-rconc
[@4: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule2 <- rule3 <- FAIL)]]
("Bob" "is" "young" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Bob is big.[(triple4)] Bob is kind.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Eric is big.[(triple6)] Eric is red.[(triple5)] Fred is kind.[(triple10)] Fred is red.[(triple9)] Fred is rough.[(triple8)] Fred is round.[(triple7)] Gary is blue.[(triple11)] @1: Fred is blue.[(((triple8 triple7) -> rule3))] @2: Fred is cold.[(((triple8 ((triple8 triple7) -> rule3)) -> rule2))] @3: Fred is young.[(((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6))] @4: Fred is green.[(((((triple8 triple7) -> rule3) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> rule3)) -> rule2)) -> rule6)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
((triple8 triple7) -> (rule3 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple8 ((triple8 triple7) -> (rule3 % int2))) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
((((triple8 triple7) -> (rule3 % int4)) triple7 ((triple7 triple10 ((triple8 ((triple8 triple7) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Bob has rough skin so it is red; He is big but so very kind.
Eric is big and tends to wear red shirts.
Fred has a round,red,rough looking face with kind eyes.
Gary wears all blue.
When a young person has a round shape and feels blue, they will be green as well.
Maybe someone is rough and blue with the cold.
A round shaped and rough person will be blue as well.
Big and cold people are likely to be round, too.
People who are nice and rough are looked at as kind.
Somebody having round, cold and kind traits is also sure to be young.