They always call him rough Bob. Dave is a big gentleman who is very nice. He is secretly green with envy. Eric is too young to be so big. Some say he is too green to be so blue as well. Big and cold people are likely to be round, too. Blue people who are rough are often young. A person that is feeling blue and slightly big, is red as well. Blue, red, young people are always going to be kind people, too. If a person is quite big and also round then they are certainly rough too. If someone happens to be cold and rough, they wont be nice and live green lifestyle. A person that is the color red will definitely be round shaped.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
If someone is big and cold then they are round.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and blue then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is big and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and red and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Eric is blue.
True
1
proof
[(triple7)]
("Eric" "is" "blue" "+")
triple7
Eric is not big.
False
1
inv-proof
[(triple8)]
("Eric" "is" "big" "-")
triple8
Eric is red.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is not red.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Eric" "is" "red" "-")
((triple8 triple7) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
True
6
proof
[(((triple7 ((triple8 triple7) -> rule3) triple5) -> rule4) OR ((triple7 ((triple8 triple7) -> rule3) ((((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5) triple7) -> rule2)) -> rule4))]
("Eric" "is" "kind" "+")
((triple7 ((triple8 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple7 ((triple8 triple7) -> (rule3 % int5)) ((((triple8 ((((triple8 triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is not kind.
False
6
inv-proof
[(((triple7 ((triple8 triple7) -> rule3) triple5) -> rule4) OR ((triple7 ((triple8 triple7) -> rule3) ((((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5) triple7) -> rule2)) -> rule4))]
("Eric" "is" "kind" "-")
((triple7 ((triple8 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple7 ((triple8 triple7) -> (rule3 % int5)) ((((triple8 ((((triple8 triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is rough.
True
6
proof
[(((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5))]
("Eric" "is" "rough" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Eric is not rough.
False
6
inv-proof
[(((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5))]
("Eric" "is" "rough" "-")
((triple8 ((((triple8 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@3: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "+")
Bob is not big.
Unknown
inv-random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Eric is not cold.
Unknown
inv-random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
@0: Bob is rough.[(triple1)] Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is nice.[(triple2)] Eric is big.[(triple8)] Eric is blue.[(triple7)] Eric is green.[(triple6)] Eric is young.[(triple5 OR ((((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5) triple7) -> rule2))] @1: Eric is red.[(((triple8 triple7) -> rule3))] @2: Eric is kind.[(((triple7 ((triple8 triple7) -> rule3) triple5) -> rule4) OR ((triple7 ((triple8 triple7) -> rule3) ((((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5) triple7) -> rule2)) -> rule4))] Eric is round.[(((((triple8 triple7) -> rule3)) -> rule7))] @3: Eric is rough.[(((triple8 ((((triple8 triple7) -> rule3)) -> rule7)) -> rule5))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is nice.
("Dave" "is" "nice" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is blue.
("Eric" "is" "blue" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
((((triple8 ((((triple8 triple7) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple7) -> (rule2 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
int3
Eric is red.
("Eric" "is" "red" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
((triple8 triple7) -> (rule3 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 ((triple8 triple7) -> (rule3 % int2)) triple5) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
((triple7 ((triple8 triple7) -> (rule3 % int5)) ((((triple8 ((((triple8 triple7) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple7) -> (rule2 % int2))) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is round.
("Eric" "is" "round" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
int5
Eric is round.
("Eric" "is" "round" "+")
((((triple8 triple7) -> (rule3 % int2))) -> (rule7 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
((triple8 ((((triple8 triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
int2
Eric is red.
("Eric" "is" "red" "+")
int3
They always call him rough Bob.
Dave is a big gentleman who is very nice; He is secretly green with envy.
Eric is too young to be so big; Some say he is too green to be so blue as well.
Big and cold people are likely to be round, too.
Blue people who are rough are often young.
A person that is feeling blue and slightly big, is red as well.
Blue, red, young people are always going to be kind people, too.
If a person is quite big and also round then they are certainly rough too.
If someone happens to be cold and rough, they wont be nice and live green lifestyle.
A person that is the color red will definitely be round shaped.