From a certain angle Bob is blue but he is young so maybe that will go away. Charlie has green teeth and rough skin. People also notice his blue eyes. Gary wears all blue. Young Harry got into a fight that left him with red sores on his face. Nice blue people are often rough. People who are blue, cold, and round are often kind. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A green person is going to be rough. Being green and rough are signs that someone is big. A person that is round, green, and blue is usually considered cold. Anyone who's blue is also green.
Bob is young.
("Bob" "is" "young" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold and round then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Harry is red.
True
1
proof
[(triple8)]
("Harry" "is" "red" "+")
triple8
Harry is not young.
False
1
inv-proof
[(triple7)]
("Harry" "is" "young" "-")
triple7
Gary is green.
True
2
proof
[(((triple6) -> rule7))]
("Gary" "is" "green" "+")
((triple6) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
2
inv-proof
[(((triple6) -> rule7))]
("Gary" "is" "green" "-")
((triple6) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is rough.
True
3
proof
[(((((triple2) -> rule7)) -> rule4))]
("Bob" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Gary is not rough.
False
3
inv-proof
[(((((triple6) -> rule7)) -> rule4))]
("Gary" "is" "rough" "-")
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is big.
True
6
proof
[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5))]
("Bob" "is" "big" "+")
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not big.
False
6
inv-proof
[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5))]
("Bob" "is" "big" "-")
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "cold" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
@0: Bob is blue.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4 OR ((triple5) -> rule7))] Charlie is rough.[(triple3 OR ((triple4) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] Gary is blue.[(triple6)] Harry is red.[(triple8)] Harry is young.[(triple7)] @1: Bob is green.[(((triple2) -> rule7))] Charlie is big.[(((triple4 triple3) -> rule5) OR ((triple4 ((triple4) -> rule4)) -> rule5) OR ((((triple5) -> rule7) triple3) -> rule5) OR ((((triple5) -> rule7) ((triple4) -> rule4)) -> rule5) OR ((triple4 ((((triple5) -> rule7)) -> rule4)) -> rule5) OR ((((triple5) -> rule7) ((((triple5) -> rule7)) -> rule4)) -> rule5))] Gary is green.[(((triple6) -> rule7))] @2: Bob is rough.[(((((triple2) -> rule7)) -> rule4))] Gary is rough.[(((((triple6) -> rule7)) -> rule4))] @3: Bob is big.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule4)) -> rule5))] Gary is big.[(((((triple6) -> rule7) ((((triple6) -> rule7)) -> rule4)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple5) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
((triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple2) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple4 triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple4 ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple5) -> (rule7 % int2)) triple3) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple5) -> (rule7 % int3)) ((triple4) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple4 ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple5) -> (rule7 % int3)) ((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
((triple6) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
((((triple2) -> (rule7 % int3)) ((((triple2) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
((((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
From a certain angle Bob is blue but he is young so maybe that will go away.
Charlie has green teeth and rough skin; People also notice his blue eyes.
Gary wears all blue.
Young Harry got into a fight that left him with red sores on his face.
Nice blue people are often rough.
People who are blue, cold, and round are often kind.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A green person is going to be rough.
Being green and rough are signs that someone is big.
A person that is round, green, and blue is usually considered cold.
Anyone who's blue is also green.