Alan has a round face and is very nice. Bob is a rough but very kind and blue person. In the snow sits Charlie, crying from being cold. Dave, a blue and green creature, was also big, rough and kind to others. Young and nice people have great big smiles. Anybody who is so cold that they are red and blue must be young. When someone is young they can be nice and kind, but green in society. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Kind young people that are still blue are generally round shaped. People that are big but also green, may ultimately be very nice. Nice, kind people who look rough almost always feel cold.
Alan is round.
("Alan" "is" "round" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Alan is nice.
True
1
proof
[(triple2)]
("Alan" "is" "nice" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple8)]
("Dave" "is" "kind" "-")
triple8
Dave is nice.
True
3
proof
[(((triple11 triple9) -> rule6))]
("Dave" "is" "nice" "+")
((triple11 triple9) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not nice.
False
3
inv-proof
[(((triple11 triple9) -> rule6))]
("Dave" "is" "nice" "-")
((triple11 triple9) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is young.
True
6
proof
[(((((triple11 triple9) -> rule6) triple11 triple8) -> rule4))]
("Dave" "is" "young" "+")
((((triple11 triple9) -> (rule6 % int2)) triple11 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is not young.
False
6
inv-proof
[(((((triple11 triple9) -> rule6) triple11 triple8) -> rule4))]
("Dave" "is" "young" "-")
((((triple11 triple9) -> (rule6 % int2)) triple11 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
True
9
proof
[(((triple10 ((((triple11 triple9) -> rule6) triple11 triple8) -> rule4) triple8) -> rule5))]
("Dave" "is" "round" "+")
((triple10 ((((triple11 triple9) -> (rule6 % int3)) triple11 triple8) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Dave is not round.
False
9
inv-proof
[(((triple10 ((((triple11 triple9) -> rule6) triple11 triple8) -> rule4) triple8) -> rule5))]
("Dave" "is" "round" "-")
((triple10 ((((triple11 triple9) -> (rule6 % int3)) triple11 triple8) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
rconc
[@4: Bob is round.[CWA. Example of deepest failure = (rule5 <- rule4 <- rule6 <- rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is nice.[(triple2)] Alan is round.[(triple1)] Bob is blue.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Charlie is cold.[(triple6)] Dave is big.[(triple11)] Dave is blue.[(triple10)] Dave is green.[(triple9)] Dave is kind.[(triple8)] Dave is rough.[(triple7)] @1: Dave is nice.[(((triple11 triple9) -> rule6))] @2: Dave is cold.[(((((triple11 triple9) -> rule6) triple8 triple7) -> rule7))] Dave is young.[(((((triple11 triple9) -> rule6) triple11 triple8) -> rule4))] @3: Dave is round.[(((triple10 ((((triple11 triple9) -> rule6) triple11 triple8) -> rule4) triple8) -> rule5))]
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Dave is big.
("Dave" "is" "big" "+")
triple11
Dave is blue.
("Dave" "is" "blue" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
((triple11 triple9) -> (rule6 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple11 triple9) -> (rule6 % int2)) triple8 triple7) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((triple11 triple9) -> (rule6 % int2)) triple11 triple8) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple10 ((((triple11 triple9) -> (rule6 % int3)) triple11 triple8) -> (rule4 % int2)) triple8) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Alan has a round face and is very nice.
Bob is a rough but very kind and blue person.
In the snow sits Charlie, crying from being cold.
Dave, a blue and green creature, was also big, rough and kind to others.
Young and nice people have great big smiles.
Anybody who is so cold that they are red and blue must be young.
When someone is young they can be nice and kind, but green in society.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Kind young people that are still blue are generally round shaped.
People that are big but also green, may ultimately be very nice.
Nice, kind people who look rough almost always feel cold.