Young Bob got into a fight that left him with red sores on his face. Fred looks big and is kind with red hair and green shoes. Gary is both young and fairly round in size. Upon meeting Harry, you'll notice he's green and kind. Someone who has a a young round face is often rough around the edges. A young person with rough red skin is downhearted and blue. A red colored person will be rough textured and will be blue. Everyone who manages to be both rough and round are also kind. As someone can be round and rough, they can also be nice and kind. If a person is young and very kind then they will be rather big. Nice people are cold people.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is round and young then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and round and rough then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is round.
True
1
proof
[(triple8)]
("Gary" "is" "round" "+")
triple8
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Gary is rough.
True
3
proof
[(((triple8 triple7) -> rule1))]
("Gary" "is" "rough" "+")
((triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple8 triple7) -> rule1))]
("Gary" "is" "rough" "-")
((triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
True
5
proof
[(((((triple8 triple7) -> rule1) triple8) -> rule4))]
("Gary" "is" "kind" "+")
((((triple8 triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((((triple8 triple7) -> rule1) triple8) -> rule4))]
("Gary" "is" "kind" "-")
((((triple8 triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
True
7
proof
[(((triple7 ((((triple8 triple7) -> rule1) triple8) -> rule4)) -> rule6))]
("Gary" "is" "big" "+")
((triple7 ((((triple8 triple7) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
7
inv-proof
[(((triple7 ((((triple8 triple7) -> rule1) triple8) -> rule4)) -> rule6))]
("Gary" "is" "big" "-")
((triple7 ((((triple8 triple7) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "big" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "rough" "+")
Fred is not blue.
Unknown
inv-rconc
[@2: Fred is blue.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is big.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is red.[(triple3)] Gary is round.[(triple8)] Gary is young.[(triple7)] Harry is green.[(triple10)] Harry is kind.[(triple9)] @1: Gary is rough.[(((triple8 triple7) -> rule1))] @2: Gary is kind.[(((((triple8 triple7) -> rule1) triple8) -> rule4))] @3: Gary is big.[(((triple7 ((((triple8 triple7) -> rule1) triple8) -> rule4)) -> rule6))]
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
((triple8 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((((triple8 triple7) -> (rule1 % int2)) triple8) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple7 ((((triple8 triple7) -> (rule1 % int3)) triple8) -> (rule4 % int2))) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Young Bob got into a fight that left him with red sores on his face.
Fred looks big and is kind with red hair and green shoes.
Gary is both young and fairly round in size.
Upon meeting Harry, you'll notice he's green and kind.
Someone who has a a young round face is often rough around the edges.
A young person with rough red skin is downhearted and blue.
A red colored person will be rough textured and will be blue.
Everyone who manages to be both rough and round are also kind.
As someone can be round and rough, they can also be nice and kind.
If a person is young and very kind then they will be rather big.
Nice people are cold people.