Alan looks red to most people, with blue features. That Dave is a round, rough fellow, and he's nice, as well as big. Fred is a person both green and big. Gary looks red to most people, with blue features. A round and nice person will certainly have a red tint to them. People who are green and blue tend to be round in shape. Maybe someone is rough and blue with the cold. People who are big and kind and feel down and blue tend to have rough skin. Young,round people tend to be rough and big. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. A rough and round shaped person will be nice and also young.
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is round and nice then they are red.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is green and blue then they are round.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple4)]
("Dave" "is" "rough" "+")
triple4
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Dave is red.
True
3
proof
[(((triple3 triple5) -> rule1))]
("Dave" "is" "red" "+")
((triple3 triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not young.
False
4
inv-proof
[(((triple4 triple3 triple5) -> rule7))]
("Dave" "is" "young" "-")
((triple4 triple3 triple5) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
True
9
proof
[(((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6))]
("Dave" "is" "blue" "+")
((((triple3 triple5) -> (rule1 % int3)) ((triple4 triple3 triple5) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not blue.
False
9
inv-proof
[(((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6))]
("Dave" "is" "blue" "-")
((((triple3 triple5) -> (rule1 % int3)) ((triple4 triple3 triple5) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
True
11
proof
[(((triple4 ((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6)) -> rule3))]
("Dave" "is" "cold" "+")
((triple4 ((((triple3 triple5) -> (rule1 % int4)) ((triple4 triple3 triple5) -> (rule7 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not cold.
False
11
inv-proof
[(((triple4 ((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6)) -> rule3))]
("Dave" "is" "cold" "-")
((triple4 ((((triple3 triple5) -> (rule1 % int4)) ((triple4 triple3 triple5) -> (rule7 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Alan" "is" "cold" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is kind.
Unknown
random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "+")
@0: Alan is blue.[(triple2)] Alan is red.[(triple1)] Dave is big.[(triple6 OR ((triple4 ((triple4 triple3 triple5) -> rule7) triple3) -> rule5))] Dave is nice.[(triple5)] Dave is rough.[(triple4)] Dave is round.[(triple3)] Fred is big.[(triple8)] Fred is green.[(triple7)] Gary is blue.[(triple10)] Gary is red.[(triple9)] @1: Dave is red.[(((triple3 triple5) -> rule1))] Dave is young.[(((triple4 triple3 triple5) -> rule7))] @2: Dave is blue.[(((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6))] @3: Dave is cold.[(((triple4 ((((triple3 triple5) -> rule1) ((triple4 triple3 triple5) -> rule7) triple4) -> rule6)) -> rule3))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple6
((triple4 ((triple4 triple3 triple5) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple5) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple4 triple3 triple5) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3 triple5) -> (rule1 % int3)) ((triple4 triple3 triple5) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((((triple3 triple5) -> (rule1 % int4)) ((triple4 triple3 triple5) -> (rule7 % int3)) triple4) -> (rule6 % int2))) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Alan looks red to most people, with blue features.
That Dave is a round, rough fellow, and he's nice, as well as big.
Fred is a person both green and big.
Gary looks red to most people, with blue features.
A round and nice person will certainly have a red tint to them.
People who are green and blue tend to be round in shape.
Maybe someone is rough and blue with the cold.
People who are big and kind and feel down and blue tend to have rough skin.
Young,round people tend to be rough and big.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
A rough and round shaped person will be nice and also young.