Most people see Alan as round, albeit nice and big at the same time. Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well. Young Fred was a round fellow. He liked to be green and blue. Fred was big for his age. All people that are rough and cold, as well as nice will be kind if you talk to them. Someone who is colored green might feel blue, but if they are kind it means they will always be nice. I see it all the time, nice big people make equal a cold person. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. Young people with red skin that play rough are actually quite kind. Kind and blue people,though young,tend to be big. People that are red and blue and green at the same time have a reason to be cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is big.
("Alan" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is nice and rough and cold then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and green and kind then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and rough and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Fred is blue.
True
1
proof
[(triple10)]
("Fred" "is" "blue" "+")
triple10
Dave is not blue.
False
1
inv-proof
[(triple6)]
("Dave" "is" "blue" "-")
triple6
Alan is cold.
True
3
proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
3
inv-proof
[(((triple2 triple3) -> rule3))]
("Alan" "is" "cold" "-")
((triple2 triple3) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
True
6
proof
[(((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "rough" "+")
((triple1 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not rough.
False
6
inv-proof
[(((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4))]
("Alan" "is" "rough" "-")
((triple1 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
True
11
proof
[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "kind" "+")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not kind.
False
11
inv-proof
[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
("Alan" "is" "kind" "-")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Eric" "is" "big" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "big" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "nice" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Eric is blue.
Unknown
random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "+")
@0: Alan is big.[(triple3)] Alan is nice.[(triple2)] Alan is round.[(triple1)] Dave is blue.[(triple6)] Dave is nice.[(triple5)] Dave is round.[(triple4)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is green.[(triple9)] Fred is round.[(triple8)] Fred is young.[(triple7)] @1: Alan is cold.[(((triple2 triple3) -> rule3))] @2: Alan is rough.[(((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4))] @3: Alan is kind.[(((triple2 ((triple1 triple3 ((triple2 triple3) -> rule3)) -> rule4) ((triple2 triple3) -> rule3)) -> rule1))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is round.
("Dave" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is green.
("Fred" "is" "green" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
Fred is young.
("Fred" "is" "young" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple2 triple3) -> (rule3 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
((triple1 triple3 ((triple2 triple3) -> (rule3 % int2))) -> (rule4 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is kind.
("Alan" "is" "kind" "+")
((triple2 ((triple1 triple3 ((triple2 triple3) -> (rule3 % int3))) -> (rule4 % int2)) ((triple2 triple3) -> (rule3 % int3))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Most people see Alan as round, albeit nice and big at the same time.
Dave is round in the middle and extraordinarily nice but he's also blue because people don't always treat him well.
Young Fred was a round fellow; He liked to be green and blue; Fred was big for his age.
All people that are rough and cold, as well as nice will be kind if you talk to them.
Someone who is colored green might feel blue, but if they are kind it means they will always be nice.
I see it all the time, nice big people make equal a cold person.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
Young people with red skin that play rough are actually quite kind.
Kind and blue people,though young,tend to be big.
People that are red and blue and green at the same time have a reason to be cold.