Even though he's a big dude, Alan is cold. Bob who is considered nice was feeling rather rough today. Charlie is blue just like his dog. Charlie is rough and round enough for the dog to use him as an exercise wheel. Big, rough Gary is also kind with red hair and green shoes. When a young person has a round shape and feels blue, they will be green as well. Cold and rough people will also surely be round shaped. People with big hands and red, rough skin are terribly kind. A kind person who is big in size is definitely young. People,though rough and red,tend to be cold too. A person who is round shaped while also being quite cold tends to be nice. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
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 cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and big and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Gary is rough.
True
1
proof
[(triple8)]
("Gary" "is" "rough" "+")
triple8
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Gary is young.
True
3
proof
[(((triple10 triple12) -> rule4) OR ((((triple8 triple12 triple9) -> rule3) triple12) -> rule4) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) triple10 triple12) -> rule7) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12 triple9) -> rule3) triple12) -> rule7))]
("Gary" "is" "young" "+")
((triple10 triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple10 triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple8 triple9) -> (rule5 % int5)) triple8) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is not young.
False
3
inv-proof
[(((triple10 triple12) -> rule4) OR ((((triple8 triple12 triple9) -> rule3) triple12) -> rule4) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) triple10 triple12) -> rule7) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12 triple9) -> rule3) triple12) -> rule7))]
("Gary" "is" "young" "-")
((triple10 triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple10 triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple8 triple9) -> (rule5 % int5)) triple8) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is round.
True
5
proof
[(((((triple8 triple9) -> rule5) triple8) -> rule2))]
("Gary" "is" "round" "+")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not round.
False
5
inv-proof
[(((((triple8 triple9) -> rule5) triple8) -> rule2))]
("Gary" "is" "round" "-")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
True
9
proof
[(((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6))]
("Gary" "is" "nice" "+")
((((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is not nice.
False
9
inv-proof
[(((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6))]
("Gary" "is" "nice" "-")
((((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Bob is not kind.
Unknown
inv-rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "kind" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is big.[(triple2)] Alan is cold.[(triple1)] Bob is nice.[(triple4)] Bob is rough.[(triple3)] Charlie is blue.[(triple7)] Charlie is rough.[(triple6)] Charlie is round.[(triple5)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is kind.[(triple10 OR ((triple8 triple12 triple9) -> rule3))] Gary is red.[(triple9)] Gary is rough.[(triple8)] @1: Gary is cold.[(((triple8 triple9) -> rule5))] Gary is young.[(((triple10 triple12) -> rule4) OR ((((triple8 triple12 triple9) -> rule3) triple12) -> rule4) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) triple10 triple12) -> rule7) OR ((((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6) ((triple8 triple12 triple9) -> rule3) triple12) -> rule7))] @2: Gary is round.[(((((triple8 triple9) -> rule5) triple8) -> rule2))] @3: Gary is nice.[(((((((triple8 triple9) -> rule5) triple8) -> rule2) ((triple8 triple9) -> rule5)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is round.
("Charlie" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple8 triple12 triple9) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
((triple8 triple9) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple10 triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((((((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule2 % int3)) ((triple8 triple9) -> (rule5 % int4))) -> (rule6 % int2)) triple10 triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
((((((((triple8 triple9) -> (rule5 % int5)) triple8) -> (rule2 % int4)) ((triple8 triple9) -> (rule5 % int5))) -> (rule6 % int3)) ((triple8 triple12 triple9) -> (rule3 % int2)) triple12) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((((triple8 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple8 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) ((triple8 triple9) -> (rule5 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Even though he's a big dude, Alan is cold.
Bob who is considered nice was feeling rather rough today.
Charlie is blue just like his dog; Charlie is rough and round enough for the dog to use him as an exercise wheel.
Big, rough Gary is also kind with red hair and green shoes.
When a young person has a round shape and feels blue, they will be green as well.
Cold and rough people will also surely be round shaped.
People with big hands and red, rough skin are terribly kind.
A kind person who is big in size is definitely young.
People,though rough and red,tend to be cold too.
A person who is round shaped while also being quite cold tends to be nice.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.