When you meet Bob you'll the two characteristics that will standout is that he's red but also rough. When you see Charlie, you will notice he is cold, big and kind. Blue with the cold Dave is rough but kind with a green shirt. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Green and blue people have a habit of being cold, which makes them red too. A round and blue individual will also be a cold individual. Young people with red, flushed cheeks who are rough around the edges are really quite nice. Green people who are kind with rosy red skin are round. A big, blue and cold person will also be a round person. Those who are round and cold are young.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and young and rough then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and kind and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and cold and blue then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Dave is cold.
True
1
proof
[(triple9)]
("Dave" "is" "cold" "+")
triple9
Fred is not blue.
False
1
inv-proof
[(triple12)]
("Fred" "is" "blue" "-")
triple12
Dave is red.
True
4
proof
[(((triple8 triple10 triple9) -> rule1))]
("Dave" "is" "red" "+")
((triple8 triple10 triple9) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is not red.
False
4
inv-proof
[(((triple8 triple10 triple9) -> rule1))]
("Dave" "is" "red" "-")
((triple8 triple10 triple9) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
True
7
proof
[(((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4))]
("Dave" "is" "round" "+")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple7 triple8) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not round.
False
7
inv-proof
[(((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4))]
("Dave" "is" "round" "-")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple7 triple8) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
True
9
proof
[(((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6))]
("Dave" "is" "young" "+")
((triple9 ((((triple8 triple10 triple9) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not young.
False
9
inv-proof
[(((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6))]
("Dave" "is" "young" "-")
((triple9 ((((triple8 triple10 triple9) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
True
15
proof
[(((((triple8 triple10 triple9) -> rule1) ((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6) triple6) -> rule3))]
("Dave" "is" "nice" "+")
((((triple8 triple10 triple9) -> (rule1 % int4)) ((triple9 ((((triple8 triple10 triple9) -> (rule1 % int4)) triple7 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Dave is not nice.
False
15
inv-proof
[(((((triple8 triple10 triple9) -> rule1) ((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6) triple6) -> rule3))]
("Dave" "is" "nice" "-")
((((triple8 triple10 triple9) -> (rule1 % int4)) ((triple9 ((((triple8 triple10 triple9) -> (rule1 % int4)) triple7 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is nice.
Unknown
rconc
[@1: Fred is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Fred" "is" "young" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is kind.[(triple3)] Dave is blue.[(triple10)] Dave is cold.[(triple9)] Dave is green.[(triple8)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Fred is blue.[(triple12)] Fred is kind.[(triple11)] @1: Dave is red.[(((triple8 triple10 triple9) -> rule1))] @2: Dave is round.[(((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4))] @3: Dave is young.[(((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6))] @4: Dave is nice.[(((((triple8 triple10 triple9) -> rule1) ((triple9 ((((triple8 triple10 triple9) -> rule1) triple7 triple8) -> rule4)) -> rule6) triple6) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple9
Dave is green.
("Dave" "is" "green" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is kind.
("Fred" "is" "kind" "+")
triple11
Dave is red.
("Dave" "is" "red" "+")
((triple8 triple10 triple9) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((((triple8 triple10 triple9) -> (rule1 % int2)) triple7 triple8) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple9 ((((triple8 triple10 triple9) -> (rule1 % int3)) triple7 triple8) -> (rule4 % int2))) -> (rule6 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((((triple8 triple10 triple9) -> (rule1 % int4)) ((triple9 ((((triple8 triple10 triple9) -> (rule1 % int4)) triple7 triple8) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
When you meet Bob you'll the two characteristics that will standout is that he's red but also rough.
When you see Charlie, you will notice he is cold, big and kind.
Blue with the cold Dave is rough but kind with a green shirt.
Fred is blue from ink he spilled on himself while being kind and helping some children paint.
Green and blue people have a habit of being cold, which makes them red too.
A round and blue individual will also be a cold individual.
Young people with red, flushed cheeks who are rough around the edges are really quite nice.
Green people who are kind with rosy red skin are round.
A big, blue and cold person will also be a round person.
Those who are round and cold are young.