Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue. Eric wears all blue. They always call him rough Gary. Harry grew up in a family with six other boys and that make him a rough guy.  Right now he's feeling blue because his dog is sick. Whoever is rough and red must be kind. If a person is blue, rough, and green, then they are also big. Fat, round people who are green with envy and notoriously rough. A person who is cold but red, and big in size is young for sure. Red people who are also kind often turn out to be cold from standing outdoors too long. A person who exhibits nice, kind and cold characteristics will also be a rough person. Anyone with red and blue coloration also has green coloration.
Bob is round.
("Bob" "is" "round" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and red then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
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 green and round then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and blue then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Bob is nice.
True
1
proof
[(triple3)]
("Bob" "is" "nice" "+")
triple3
Bob is not big.
False
1
inv-proof
[(triple5 OR ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2))]
("Bob" "is" "big" "-")
triple5
((triple4 ((((triple2 triple4) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple2 triple4) -> (rule7 % int3))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is green.
True
3
proof
[(((triple2 triple4) -> rule7))]
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not green.
False
3
inv-proof
[(((triple2 triple4) -> rule7))]
("Bob" "is" "green" "-")
((triple2 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
True
5
proof
[(((((triple2 triple4) -> rule7) triple1) -> rule3))]
("Bob" "is" "rough" "+")
((((triple2 triple4) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((((triple2 triple4) -> rule7) triple1) -> rule3))]
("Bob" "is" "rough" "-")
((((triple2 triple4) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
True
7
proof
[(((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1))]
("Bob" "is" "kind" "+")
((((((triple2 triple4) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not kind.
False
7
inv-proof
[(((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1))]
("Bob" "is" "kind" "-")
((((((triple2 triple4) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
True
9
proof
[(((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5))]
("Bob" "is" "cold" "+")
((((((((triple2 triple4) -> (rule7 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not cold.
False
9
inv-proof
[(((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5))]
("Bob" "is" "cold" "-")
((((((((triple2 triple4) -> (rule7 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
True
12
proof
[(((triple2 triple5 ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2) ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4))]
("Bob" "is" "young" "+")
((triple2 triple5 ((((((((triple2 triple4) -> (rule7 % int5)) triple1) -> (rule3 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple2 ((triple4 ((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) ((triple2 triple4) -> (rule7 % int6))) -> (rule2 % int4)) ((((((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Bob is not young.
False
12
inv-proof
[(((triple2 triple5 ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2) ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4))]
("Bob" "is" "young" "-")
((triple2 triple5 ((((((((triple2 triple4) -> (rule7 % int5)) triple1) -> (rule3 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple2 ((triple4 ((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) ((triple2 triple4) -> (rule7 % int6))) -> (rule2 % int4)) ((((((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "cold" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "cold" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "+")
Harry is not big.
Unknown
inv-rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule2 <- rule7 <- FAIL)]]
("Harry" "is" "big" "-")
Gary is green.
Unknown
rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Bob is big.[(triple5 OR ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2))] Bob is blue.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Gary is rough.[(triple7)] Harry is blue.[(triple9)] Harry is rough.[(triple8)] @1: Bob is green.[(((triple2 triple4) -> rule7))] @2: Bob is rough.[(((((triple2 triple4) -> rule7) triple1) -> rule3))] @3: Bob is kind.[(((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1))] @4: Bob is cold.[(((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5))] @5: Bob is young.[(((triple2 triple5 ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4) OR ((triple2 ((triple4 ((((triple2 triple4) -> rule7) triple1) -> rule3) ((triple2 triple4) -> rule7)) -> rule2) ((((((((triple2 triple4) -> rule7) triple1) -> rule3) triple2) -> rule1) triple2) -> rule5)) -> rule4))]
Bob is big.
("Bob" "is" "big" "+")
triple5
((triple4 ((((triple2 triple4) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple2 triple4) -> (rule7 % int3))) -> (rule2 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple4) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2 triple4) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((((((triple2 triple4) -> (rule7 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
((((((((triple2 triple4) -> (rule7 % int4)) triple1) -> (rule3 % int3)) triple2) -> (rule1 % int2)) triple2) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is young.
("Bob" "is" "young" "+")
((triple2 triple5 ((((((((triple2 triple4) -> (rule7 % int5)) triple1) -> (rule3 % int4)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((triple2 ((triple4 ((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) ((triple2 triple4) -> (rule7 % int6))) -> (rule2 % int4)) ((((((((triple2 triple4) -> (rule7 % int6)) triple1) -> (rule3 % int5)) triple2) -> (rule1 % int3)) triple2) -> (rule5 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Bob is a rather nice, big and round fellow, who is also red from a sunburn and feeling blue.
Eric wears all blue.
They always call him rough Gary.
Harry grew up in a family with six other boys and that make him a rough guy; Right now he's feeling blue because his dog is sick.
Whoever is rough and red must be kind.
If a person is blue, rough, and green, then they are also big.
Fat, round people who are green with envy and notoriously rough.
A person who is cold but red, and big in size is young for sure.
Red people who are also kind often turn out to be cold from standing outdoors too long.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
Anyone with red and blue coloration also has green coloration.