Young, red Bob is nice. You should meet Charlie, he is big and rough on the football field but also very young in age. Dave is a red fellow who habitually looks blue. He's often cold. Fred is a very kind, green but sometimes cold person. Kind people that are rough and round are also considered big. Lucky for us, people that are round and red are kind to strangers. People who are cold even when they're nice and round, they are young. A person described as cold and kind can also be described as nice. You can see that cold, blue people are round in shape.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is round and red then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and cold then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold and blue then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fred is cold.
True
1
proof
[(triple12)]
("Fred" "is" "cold" "+")
triple12
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Dave is round.
True
3
proof
[(((triple8 triple9) -> rule5))]
("Dave" "is" "round" "+")
((triple8 triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple8 triple9) -> rule5))]
("Dave" "is" "round" "-")
((triple8 triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
True
5
proof
[(((((triple8 triple9) -> rule5) triple7) -> rule2))]
("Dave" "is" "kind" "+")
((((triple8 triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not kind.
False
5
inv-proof
[(((((triple8 triple9) -> rule5) triple7) -> rule2))]
("Dave" "is" "kind" "-")
((((triple8 triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
True
7
proof
[(((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4))]
("Dave" "is" "nice" "+")
((triple8 ((((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not nice.
False
7
inv-proof
[(((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4))]
("Dave" "is" "nice" "-")
((triple8 ((((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
True
12
proof
[(((((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4) ((triple8 triple9) -> rule5) triple8) -> rule3))]
("Dave" "is" "young" "+")
((((triple8 ((((triple8 triple9) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Dave is not young.
False
12
inv-proof
[(((((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4) ((triple8 triple9) -> rule5) triple8) -> rule3))]
("Dave" "is" "young" "-")
((((triple8 ((((triple8 triple9) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "round" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "round" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Bob is kind.
Unknown
rconc
[@2: Bob is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Bob" "is" "kind" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Fred is rough.
Unknown
random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is red.[(triple7)] Fred is cold.[(triple12)] Fred is green.[(triple11)] Fred is kind.[(triple10)] @1: Dave is round.[(((triple8 triple9) -> rule5))] Fred is nice.[(((triple12 triple10) -> rule4))] @2: Dave is kind.[(((((triple8 triple9) -> rule5) triple7) -> rule2))] @3: Dave is nice.[(((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4))] @4: Dave is young.[(((((triple8 ((((triple8 triple9) -> rule5) triple7) -> rule2)) -> rule4) ((triple8 triple9) -> rule5) triple8) -> rule3))]
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is red.
("Dave" "is" "red" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Fred is green.
("Fred" "is" "green" "+")
triple11
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Dave is round.
("Dave" "is" "round" "+")
((triple8 triple9) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple12 triple10) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple8 triple9) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((triple8 ((((triple8 triple9) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((triple8 ((((triple8 triple9) -> (rule5 % int4)) triple7) -> (rule2 % int3))) -> (rule4 % int2)) ((triple8 triple9) -> (rule5 % int4)) triple8) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
int4
Young, red Bob is nice.
You should meet Charlie, he is big and rough on the football field but also very young in age.
Dave is a red fellow who habitually looks blue; He's often cold.
Fred is a very kind, green but sometimes cold person.
Kind people that are rough and round are also considered big.
Lucky for us, people that are round and red are kind to strangers.
People who are cold even when they're nice and round, they are young.
A person described as cold and kind can also be described as nice.
You can see that cold, blue people are round in shape.