Bob often feels a bit blue and tends to run on the cold side while also being very nice and red. Charlie is a young, round fellow who is red and green in color. He is also cold. When you meet Dave you'll the two characteristics that will standout is that he's red but also rough. In the snow sits Fred, crying from being cold. Kind, young, green persons are sure to be rough persons, too. It is true that anyone who is cold while being young and nice is secretly a kind person. Young and kind folks are always big. Someone with rough, big traits will be a green person, as well. A person who is kind but also rough and is also colored blue, will be shaped round. People who are red and green are also nice.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and cold and young then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
Charlie is green.
True
1
proof
[(triple8)]
("Charlie" "is" "green" "+")
triple8
Fred is not cold.
False
1
inv-proof
[(triple12)]
("Fred" "is" "cold" "-")
triple12
Charlie is nice.
True
3
proof
[(((triple8 triple7) -> rule6))]
("Charlie" "is" "nice" "+")
((triple8 triple7) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple8 triple7) -> rule6))]
("Charlie" "is" "nice" "-")
((triple8 triple7) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
True
6
proof
[(((((triple8 triple7) -> rule6) triple9 triple5) -> rule2))]
("Charlie" "is" "kind" "+")
((((triple8 triple7) -> (rule6 % int2)) triple9 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not kind.
False
6
inv-proof
[(((((triple8 triple7) -> rule6) triple9 triple5) -> rule2))]
("Charlie" "is" "kind" "-")
((((triple8 triple7) -> (rule6 % int2)) triple9 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
True
8
proof
[(((((((triple8 triple7) -> rule6) triple9 triple5) -> rule2) triple5) -> rule3))]
("Charlie" "is" "big" "+")
((((((triple8 triple7) -> (rule6 % int3)) triple9 triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not rough.
False
9
inv-proof
[(((((((triple8 triple7) -> rule6) triple9 triple5) -> rule2) triple5 triple8) -> rule1))]
("Charlie" "is" "rough" "-")
((((((triple8 triple7) -> (rule6 % int3)) triple9 triple5) -> (rule2 % int2)) triple5 triple8) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Dave is not nice.
Unknown
inv-rconc
[@3: Dave is nice.[CWA. Example of deepest failure = (rule6 <- rule4 <- rule3 <- FAIL)]]
("Dave" "is" "nice" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Fred" "is" "green" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is cold.[(triple9)] Charlie is green.[(triple8)] Charlie is red.[(triple7)] Charlie is round.[(triple6)] Charlie is young.[(triple5)] Dave is red.[(triple11)] Dave is rough.[(triple10)] Fred is cold.[(triple12)] @1: Charlie is nice.[(((triple8 triple7) -> rule6))] @2: Charlie is kind.[(((((triple8 triple7) -> rule6) triple9 triple5) -> rule2))] @3: Charlie is big.[(((((((triple8 triple7) -> rule6) triple9 triple5) -> rule2) triple5) -> rule3))] Charlie is rough.[(((((((triple8 triple7) -> rule6) triple9 triple5) -> rule2) triple5 triple8) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple9
Charlie is green.
("Charlie" "is" "green" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple11
Dave is rough.
("Dave" "is" "rough" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple12
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple8 triple7) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple8 triple7) -> (rule6 % int2)) triple9 triple5) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple8 triple7) -> (rule6 % int3)) triple9 triple5) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple8 triple7) -> (rule6 % int3)) triple9 triple5) -> (rule2 % int2)) triple5 triple8) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Bob often feels a bit blue and tends to run on the cold side while also being very nice and red.
Charlie is a young, round fellow who is red and green in color; He is also cold.
When you meet Dave you'll the two characteristics that will standout is that he's red but also rough.
In the snow sits Fred, crying from being cold.
Kind, young, green persons are sure to be rough persons, too.
It is true that anyone who is cold while being young and nice is secretly a kind person.
Young and kind folks are always big.
Someone with rough, big traits will be a green person, as well.
A person who is kind but also rough and is also colored blue, will be shaped round.
People who are red and green are also nice.