Dave is rough around the edges, but he's often blue and always nice. Upon meeting Eric, you'll notice he's green and kind. Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it. Blue Christmas ornaments are also red. A person who is described as round and rough is usually kind. Young people who rough around in the cold are known to be very red. A green colored, nice and young person will be big shaped. Rough young folks are surprisingly kind. A green and quite rough person will also be blue. A person that is the color red will definitely be round shaped.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and rough then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and young and cold then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and green then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Fred is blue.
True
1
proof
[(triple9 OR ((triple7 triple8) -> rule6))]
("Fred" "is" "blue" "+")
triple9
((triple7 triple8) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Dave is not nice.
False
1
inv-proof
[(triple2)]
("Dave" "is" "nice" "-")
triple2
Fred is kind.
True
3
proof
[(((triple6 triple7) -> rule5) OR ((((((triple9) -> rule1)) -> rule7) triple7) -> rule2) OR ((((((((triple7 triple8) -> rule6)) -> rule1)) -> rule7) triple7) -> rule2))]
("Fred" "is" "kind" "+")
((triple6 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((triple9) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((((((((triple7 triple8) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is not red.
False
2
inv-proof
[(((triple9) -> rule1) OR ((((triple7 triple8) -> rule6)) -> rule1))]
("Fred" "is" "red" "-")
((triple9) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((((triple7 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is round.
True
3
proof
[(((((triple9) -> rule1)) -> rule7) OR ((((((triple7 triple8) -> rule6)) -> rule1)) -> rule7))]
("Fred" "is" "round" "+")
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Fred is not round.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule7) OR ((((((triple7 triple8) -> rule6)) -> rule1)) -> rule7))]
("Fred" "is" "round" "-")
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Dave is kind.
True
5
proof
[(((((((triple3) -> rule1)) -> rule7) triple1) -> rule2))]
("Dave" "is" "kind" "+")
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not kind.
False
5
inv-proof
[(((((((triple3) -> rule1)) -> rule7) triple1) -> rule2))]
("Dave" "is" "kind" "-")
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Eric is not round.
Unknown
inv-rconc
[@3: Eric is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule6 <- FAIL)]]
("Eric" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@3: Charlie is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule6 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is kind.
Unknown
rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
@0: Dave is blue.[(triple3)] Dave is nice.[(triple2)] Dave is rough.[(triple1)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Fred is blue.[(triple9 OR ((triple7 triple8) -> rule6))] Fred is green.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] @1: Dave is red.[(((triple3) -> rule1))] Fred is kind.[(((triple6 triple7) -> rule5) OR ((((((triple9) -> rule1)) -> rule7) triple7) -> rule2) OR ((((((((triple7 triple8) -> rule6)) -> rule1)) -> rule7) triple7) -> rule2))] Fred is red.[(((triple9) -> rule1) OR ((((triple7 triple8) -> rule6)) -> rule1))] @2: Dave is round.[(((((triple3) -> rule1)) -> rule7))] Fred is round.[(((((triple9) -> rule1)) -> rule7) OR ((((((triple7 triple8) -> rule6)) -> rule1)) -> rule7))] @3: Dave is kind.[(((((((triple3) -> rule1)) -> rule7) triple1) -> rule2))]
Dave is blue.
("Dave" "is" "blue" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Fred is blue.
("Fred" "is" "blue" "+")
triple9
((triple7 triple8) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
((triple3) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple6 triple7) -> (rule5 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
((((((triple9) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
((((((((triple7 triple8) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is blue.
("Fred" "is" "blue" "+")
int4
Fred is red.
("Fred" "is" "red" "+")
((triple9) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
((((triple7 triple8) -> (rule6 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple3) -> (rule1 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple9) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
((((((triple7 triple8) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((((triple3) -> (rule1 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough around the edges, but he's often blue and always nice.
Upon meeting Eric, you'll notice he's green and kind.
Fred is young and green, so although he is rough and blue with sadness, he'll grow out of it.
Blue Christmas ornaments are also red.
A person who is described as round and rough is usually kind.
Young people who rough around in the cold are known to be very red.
A green colored, nice and young person will be big shaped.
Rough young folks are surprisingly kind.
A green and quite rough person will also be blue.
A person that is the color red will definitely be round shaped.