Young Bob got into a fight that left him with red sores on his face. Dave's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary was born only a few years ago so he is young. Even though Harry is young, he is still very round and still very red. A kind, round person will surely be red as well. A big person who also feels blue and a bit green are usually wearing red. Look for the blue and green people, they are kind and will give you directions if you're lost. If the person is big and cold then as a rule they must be green. A round and blue individual will also be a cold individual. Kind and blue people,though young,tend to be big. All the kind people in blue were young.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is big and blue and green then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and cold then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Harry is young.
True
1
proof
[(triple7)]
("Harry" "is" "young" "+")
triple7
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Dave is kind.
True
3
proof
[(((triple5 triple4) -> rule3))]
("Dave" "is" "kind" "+")
((triple5 triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple5 triple4) -> rule3))]
("Dave" "is" "kind" "-")
((triple5 triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
True
5
proof
[(((triple5 ((triple5 triple4) -> rule3)) -> rule7))]
("Dave" "is" "young" "+")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not young.
False
5
inv-proof
[(((triple5 ((triple5 triple4) -> rule3)) -> rule7))]
("Dave" "is" "young" "-")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
True
10
proof
[(((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6))]
("Dave" "is" "big" "+")
((((triple5 triple4) -> (rule3 % int3)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not big.
False
10
inv-proof
[(((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6))]
("Dave" "is" "big" "-")
((((triple5 triple4) -> (rule3 % int3)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
True
13
proof
[(((((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6) triple5 triple4) -> rule2))]
("Dave" "is" "red" "+")
((((((triple5 triple4) -> (rule3 % int4)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple4) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not red.
False
13
inv-proof
[(((((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6) triple5 triple4) -> rule2))]
("Dave" "is" "red" "-")
((((((triple5 triple4) -> (rule3 % int4)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple4) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Gary is not big.
Unknown
inv-rconc
[@1: Gary is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple5)] Dave is green.[(triple4)] Dave is nice.[(triple3)] Gary is young.[(triple6)] Harry is red.[(triple9)] Harry is round.[(triple8)] Harry is young.[(triple7)] @1: Dave is kind.[(((triple5 triple4) -> rule3))] @2: Dave is young.[(((triple5 ((triple5 triple4) -> rule3)) -> rule7))] @3: Dave is big.[(((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6))] @4: Dave is red.[(((((((triple5 triple4) -> rule3) triple5 ((triple5 ((triple5 triple4) -> rule3)) -> rule7)) -> rule6) triple5 triple4) -> rule2))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
((triple5 triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple5 ((triple5 triple4) -> (rule3 % int2))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple5 triple4) -> (rule3 % int3)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
((((((triple5 triple4) -> (rule3 % int4)) triple5 ((triple5 ((triple5 triple4) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule6 % int2)) triple5 triple4) -> (rule2 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is big.
("Dave" "is" "big" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Young Bob got into a fight that left him with red sores on his face.
Dave's skin turned blue and green in a lab accident; Despite his outward appearance, he is really nice.
Gary was born only a few years ago so he is young.
Even though Harry is young, he is still very round and still very red.
A kind, round person will surely be red as well.
A big person who also feels blue and a bit green are usually wearing red.
Look for the blue and green people, they are kind and will give you directions if you're lost.
If the person is big and cold then as a rule they must be green.
A round and blue individual will also be a cold individual.
Kind and blue people,though young,tend to be big.
All the kind people in blue were young.