Although Alan is young and nice, he is as cold as ice. They always call him rough Bob. Most people consider Dave to bed red. He's pretty cold to people and often feels blue. Dave is a big person. Gary is young, he is also red and green. Most young, green people are kind and because of this they are round. A person with nice, blue traits who is young will surely be a round person. If you color the young ones blue then they will be kind. People who are young and green are also kind. Being blue, cold, and rough must be very trying. At least they are also big. Nice people who are kind, despite their rough skin, are big hearted. A kind person who look green and is round in shape is usually big in stature.
Alan is young.
("Alan" "is" "young" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and nice and young then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and cold and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Alan is cold.
True
1
proof
[(triple3)]
("Alan" "is" "cold" "+")
triple3
Dave is not big.
False
1
inv-proof
[(triple8)]
("Dave" "is" "big" "-")
triple8
Gary is kind.
True
3
proof
[(((triple9 triple11) -> rule4))]
("Gary" "is" "kind" "+")
((triple9 triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple9 triple11) -> rule4))]
("Gary" "is" "kind" "-")
((triple9 triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
True
6
proof
[(((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1))]
("Gary" "is" "round" "+")
((triple11 triple9 ((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is not round.
False
6
inv-proof
[(((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1))]
("Gary" "is" "round" "-")
((triple11 triple9 ((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
True
11
proof
[(((((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1) ((triple9 triple11) -> rule4) triple11) -> rule7))]
("Gary" "is" "big" "+")
((((triple11 triple9 ((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple11) -> (rule4 % int3)) triple11) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is not big.
False
11
inv-proof
[(((((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1) ((triple9 triple11) -> rule4) triple11) -> rule7))]
("Gary" "is" "big" "-")
((((triple11 triple9 ((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple11) -> (rule4 % int3)) triple11) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Alan is cold.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Bob is rough.[(triple4)] Dave is big.[(triple8)] Dave is blue.[(triple7)] Dave is cold.[(triple6)] Dave is red.[(triple5)] Gary is green.[(triple11)] Gary is red.[(triple10)] Gary is young.[(triple9)] @1: Gary is kind.[(((triple9 triple11) -> rule4))] @2: Gary is round.[(((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1))] @3: Gary is big.[(((((triple11 triple9 ((triple9 triple11) -> rule4)) -> rule1) ((triple9 triple11) -> rule4) triple11) -> rule7))]
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
triple7
Dave is cold.
("Dave" "is" "cold" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
((triple9 triple11) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple11 triple9 ((triple9 triple11) -> (rule4 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((triple11 triple9 ((triple9 triple11) -> (rule4 % int3))) -> (rule1 % int2)) ((triple9 triple11) -> (rule4 % int3)) triple11) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Although Alan is young and nice, he is as cold as ice.
They always call him rough Bob.
Most people consider Dave to bed red; He's pretty cold to people and often feels blue; Dave is a big person.
Gary is young, he is also red and green.
Most young, green people are kind and because of this they are round.
A person with nice, blue traits who is young will surely be a round person.
If you color the young ones blue then they will be kind.
People who are young and green are also kind.
Being blue, cold, and rough must be very trying; At least they are also big.
Nice people who are kind, despite their rough skin, are big hearted.
A kind person who look green and is round in shape is usually big in stature.