Bob is blue from ink he spilled on himself while being kind and helping some children paint. Eric ate some rotten meat and now feels green. Fred's characteristics are that he is young, round, red, nice, kind, green and big. Harry ate some rotten meat and now feels green. Someone who looks rough and feels cold is also kind to others. Watch out for the rough and round kind people for they cold to others. Young people that are blue will still be kind because they are rough to the touch. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Folks who are nice and young with red coloration tend to feel blue. All the kind people in blue were young. Whenever you see Pete you run into a young man rough, which means he will be nice.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and young and red then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Fred is nice.
True
1
proof
[(triple7)]
("Fred" "is" "nice" "+")
triple7
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Fred is blue.
True
4
proof
[(((triple7 triple4 triple6) -> rule5))]
("Fred" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is not blue.
False
4
inv-proof
[(((triple7 triple4 triple6) -> rule5))]
("Fred" "is" "blue" "-")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Bob is rough.
True
6
proof
[(((triple2 ((triple2 triple1) -> rule6) triple1) -> rule3))]
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not rough.
False
6
inv-proof
[(((triple2 ((triple2 triple1) -> rule6) triple1) -> rule3))]
("Bob" "is" "rough" "-")
((triple2 ((triple2 triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fred is cold.
True
10
proof
[(((((((triple7 triple4 triple6) -> rule5) triple4 triple8) -> rule3) triple5 triple8) -> rule2))]
("Fred" "is" "cold" "+")
((((((triple7 triple4 triple6) -> (rule5 % int3)) triple4 triple8) -> (rule3 % int2)) triple5 triple8) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((((triple2 triple1) -> rule6) ((triple2 ((triple2 triple1) -> rule6) triple1) -> rule3)) -> rule7))]
("Bob" "is" "nice" "-")
((((triple2 triple1) -> (rule6 % int3)) ((triple2 ((triple2 triple1) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Eric is blue.
Unknown
rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Eric" "is" "young" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Bob is blue.[(triple2)] Bob is kind.[(triple1)] Eric is green.[(triple3)] Fred is big.[(triple10)] Fred is green.[(triple9)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Fred is red.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is green.[(triple11)] @1: Bob is young.[(((triple2 triple1) -> rule6))] Fred is blue.[(((triple7 triple4 triple6) -> rule5))] @2: Bob is rough.[(((triple2 ((triple2 triple1) -> rule6) triple1) -> rule3))] Fred is rough.[(((((triple7 triple4 triple6) -> rule5) triple4 triple8) -> rule3))] @3: Bob is nice.[(((((triple2 triple1) -> rule6) ((triple2 ((triple2 triple1) -> rule6) triple1) -> rule3)) -> rule7))] Fred is cold.[(((((((triple7 triple4 triple6) -> rule5) triple4 triple8) -> rule3) triple5 triple8) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is green.
("Harry" "is" "green" "+")
triple11
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple1) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple7 triple4 triple6) -> (rule5 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 ((triple2 triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple7 triple4 triple6) -> (rule5 % int2)) triple4 triple8) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2 triple1) -> (rule6 % int3)) ((triple2 ((triple2 triple1) -> (rule6 % int3)) triple1) -> (rule3 % int2))) -> (rule7 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple7 triple4 triple6) -> (rule5 % int3)) triple4 triple8) -> (rule3 % int2)) triple5 triple8) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Eric ate some rotten meat and now feels green.
Fred's characteristics are that he is young, round, red, nice, kind, green and big.
Harry ate some rotten meat and now feels green.
Someone who looks rough and feels cold is also kind to others.
Watch out for the rough and round kind people for they cold to others.
Young people that are blue will still be kind because they are rough to the touch.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Folks who are nice and young with red coloration tend to feel blue.
All the kind people in blue were young.
Whenever you see Pete you run into a young man rough, which means he will be nice.