Upon meeting Alan, you'll notice he's green and kind. Bob often feels a bit blue and tends to run on the cold side while also being very nice and red. The diving trip left Charlie red and green all over, yet he remains the nice (though rather rough) guy he always has been. Anyone who manages to be round, blue, and green must be pretty big. If a person is blue, rough, and green, then they are also big. Rough and cold and blue people are round. Despite being kind cold people with red ears will still be big. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. It is true that anyone who is cold while being young and nice is secretly a kind person. All nice people are young.
If someone is round and blue and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and rough and green then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue and cold then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
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 nice then they are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Charlie is red.
True
1
proof
[(triple8)]
("Charlie" "is" "red" "+")
triple8
Alan is not green.
False
1
inv-proof
[(triple2)]
("Alan" "is" "green" "-")
triple2
Bob is young.
True
2
proof
[(((triple4) -> rule7))]
("Bob" "is" "young" "+")
((triple4) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple9) -> rule7))]
("Charlie" "is" "young" "-")
((triple9) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Bob is kind.
True
5
proof
[(((triple4 triple5 ((triple4) -> rule7)) -> rule6))]
("Bob" "is" "kind" "+")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((triple4 triple5 ((triple4) -> rule7)) -> rule6))]
("Bob" "is" "kind" "-")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
True
8
proof
[(((triple5 triple3 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule4))]
("Bob" "is" "big" "+")
((triple5 triple3 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is not big.
False
8
inv-proof
[(((triple5 triple3 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule4))]
("Bob" "is" "big" "-")
((triple5 triple3 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Alan is young.
Unknown
rconc
[@3: Alan is young.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
@0: Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Charlie is green.[(triple10)] Charlie is nice.[(triple9)] Charlie is red.[(triple8)] Charlie is rough.[(triple7)] @1: Bob is young.[(((triple4) -> rule7))] Charlie is young.[(((triple9) -> rule7))] @2: Bob is kind.[(((triple4 triple5 ((triple4) -> rule7)) -> rule6))] @3: Bob is big.[(((triple5 triple3 ((triple4 triple5 ((triple4) -> rule7)) -> rule6)) -> rule4))]
Alan is green.
("Alan" "is" "green" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
Bob is red.
("Bob" "is" "red" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
triple9
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Bob is young.
("Bob" "is" "young" "+")
((triple4) -> (rule7 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple9) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple4 triple5 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((triple5 triple3 ((triple4 triple5 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Upon meeting Alan, you'll notice he's green and kind.
Bob often feels a bit blue and tends to run on the cold side while also being very nice and red.
The diving trip left Charlie red and green all over, yet he remains the nice (though rather rough) guy he always has been.
Anyone who manages to be round, blue, and green must be pretty big.
If a person is blue, rough, and green, then they are also big.
Rough and cold and blue people are round.
Despite being kind cold people with red ears will still be big.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
It is true that anyone who is cold while being young and nice is secretly a kind person.
All nice people are young.